{"id":"arxiv/2605.16509","url":"https://arxiv.org/abs/2605.16509","tags":["quant-ph"],"score":0,"title":"Quokka#: Quantum Computing with #SAT","domain":"quant-ph","source":"arxiv","authors":["Jingyi Mei","Dekel Zak","Muhammad Osama","Tim Coopmans","Alfons Laarman"],"reviews":0,"subject":"quant-ph","summary":"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…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-05-15","reactions":{}}