munich-quantum-toolkit/qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
GitHub repository with 111 stars and 25 forks.
Language: C++
Topics: quantum-circuits, quantum-computing, equivalence-checker, decision-diagrams, verification, mqt, tum, jku, zx-calculus, python