MQT QCEC - A tool for Quantum Circuit Equivalence Checking
A transpiler pass for Qiskit which uses ZX-Calculus for circuit optimization, implemented using PyZX.
