Symbolic Quantum Simulation with Quasimodo

The simulation of quantum circuits on classical computers is an important problem in quantum computing. Such simulation requires representations of distributions over very large sets of basis-vectors, and recent work has use symbolic data structures such as Binary Decision Diagrams (BDDs) for this purpose. However, as of now, there is no open-source, extensible system for such symbolic simulation. In this tool paper, we present Quasimodo, an extensible, open-source Python library that fills this gap in the literature. Quasimodo allows simulations of quantum circuits, checking properties of the outputs of quantum circuits, and debugging quantum circuits. It also allows the user to choose from among several symbolic data structures -- both unweighted and weighted BDDs, and a recent structure called CFLOBDDs -- and can be easily extended to support other symbolic data structures.