GitHub repository: munich-quantum-toolkit/qusat
Primary language: C++
Description: MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing