MQT DDSIM - A quantum circuit simulator based on decision diagrams writt...
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
DDO a generic and efficient framework for MDD-based optimization.
A rust crate for boolean expressions (expression trees, decision diagram...