decision-diagrams
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
pyddlib is a Python3 library for manipulating decision diagrams (DD).
A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
