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 used symbolic data-structures such as Binary Decision Diagrams (BDDs) for this purpose. In this tool paper, we present Quasimodo, an extensible, open-source Python library for symbolic simulation of quantum circuits. Quasimodo is specifically designed for easy extensibility to other backends. 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 Context-Free-Language Ordered Binary Decision Diagrams (CFLOBDDs) -- and can be easily extended to support other symbolic data-structures.

翻译：在经典计算机上模拟量子电路是量子计算中的一个重要问题。此类模拟需要表示超大基向量集合上的分布，近年研究采用符号化数据结构（如二元决策图BDD）实现这一目标。本工具论文中，我们提出Quasimodo——一个可扩展、开源的Python库，用于量子电路的符号化模拟。Quasimodo专为便于扩展至其他后端而设计，支持量子电路模拟、量子电路输出属性检查及电路调试。用户可在多种符号化数据结构中进行选择——包括未加权与加权BDD，以及最新提出的上下文无关语言有序二元决策图（CFLOBDD）——且该库可轻松扩展以支持其他符号化数据结构。