mqt.qcec (pypi): A tool for Quantum Circuit Equivalence Checking
Keywords: MQT|quantum computing|design automation|equivalence checking|verification|cpp17|decision-diagrams|equivalence-checker|jku|mqt|python|quantum-circuits|quantum-computing|tum|zx-calculus