SliQSim: A Quantum Circuit Simulator and Solver for Probability and Statistics Queries.

Tian-Fu Chen, Jie-Hong R. Jiang

Browse the full TACAS paper archive.