Open source repositories tagged with #equivalence-checker, ranked by health score.
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
