量子科技中心_量科网

本文介绍了 Quokka#，一个多功能、开源的Python库，用于量子电路分析。Quokka#将多种仿真、验证和综合任务归约为加权模型计数（#SAT）。该库支持通用量子电路和多种门类型。Quokka# 提供了基于不同代数基和等价性检查方法的多种编码方案，从而实现了关键的性能权衡。此外，Quokka# 的新版本新增了近似等价性检查功能，这在其综合算法中至关重要，因为它能够在任意门集合之间进行转换。该研究的综合引擎实现了深度最优，使其非常适合实际量子计算应用。本文展示了 Quokka# 的设计、可扩展性及其使用方法。