MQT QCEC - A tool for Quantum Circuit Equivalence Checking
A quantum simulator based on decision diagrams written in C++
pyddlib is a Python3 library for manipulating decision diagrams.
A brief description of your bex package
