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.

翻译：在经典计算机上模拟量子电路是量子计算中的一个重要问题。这类模拟需要表示基于极大基向量集的分布，近期研究已采用诸如二元决策图（BDDs）等符号化数据结构来实现这一目的。然而，目前尚无开源、可扩展的符号化模拟系统。在本工具论文中，我们提出Quasimodo——一个填补了文献空白的可扩展开源Python库。Quasimodo支持量子电路模拟、量子电路输出性质检查以及量子电路调试。它允许用户从多种符号化数据结构（包括无权重与加权BDDs，以及一种名为CFLOBDDs的新型结构）中进行选择，并可轻松扩展以支持其他符号化数据结构。