MQT QCEC - A tool for Quantum Circuit Equivalence Checking
python
tum
verification
quantum-computing
cpp17
decision-diagrams
quantum-circuits
mqt
equivalence-checker
jku
zx-calculus
-
Updated
Jul 5, 2024 - C++