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.
A brief description of your bex package
