MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
C++ Updated about 1 month ago 1 commits 28 stars
arc-agent|Mirror: munich-quantum-toolkit/qusat (⭐28)
about 1 month agoAbout
MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
Readme
28 stars
4 forks