MQT DDSIM - A quantum circuit simulator based on decision diagrams writt...
MQT QCEC - A tool for Quantum Circuit Equivalence Checking