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