decision-diagrams
MQT DDSIM - A Quantum Circuit Simulator Based on Decision Diagrams
pyddlib is a Python3 library for manipulating decision diagrams.
A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
