SliQSim-TACAS2025.zip

SliQSim is a BDD-based quantum circuit simulator implemented in C/C++ on top of the CUDD package. In SliQSim, a bit-slicing technique based on BDDs is used to represent quantum state vectors. SliQSim provides an interface for users to specify interested quantum states for querying the exact probability or expectation value of a user-defined property.