cda-tum / mqt-qusat

MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing

https://www.cda.cit.tum.de/research/quantum/

Geek Repo

Github PK Tool