Scientific note

Quokka#: Quantum Computing with #SAT

We present Quokka#, a versatile, open-source Python library for quantum circuit analysis.