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