Quokka#: Quantum Computing with #SAT
量子物理
2026-05-19 v1
摘要
We present Quokka#, a versatile, open-source Python library for quantum circuit analysis. Quokka# reduces various simulation, verification, and synthesis tasks to weighted model counting (#SAT). It supports universal quantum circuits and a wide variety of gates. Quokka# provides multiple encodings based on different algebraic bases and equivalence-checking methods, enabling key performance trade-offs. Moreover, the new version of Quokka# adds approximate equivalence checking, which is crucial in its synthesis algorithms, since it enables translation between arbitrary gate sets. Its synthesis engine is depth-optimal, making it well-suited to real-world quantum computing. This paper demonstrates the design, extensibility, and use of Quokka#.
引用
@article{arxiv.2605.16509,
title = {Quokka#: Quantum Computing with #SAT},
author = {Jingyi Mei and Dekel Zak and Muhammad Osama and Tim Coopmans and Alfons Laarman},
journal= {arXiv preprint arXiv:2605.16509},
year = {2026}
}