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