MEDDLY

MEDDLY stands for Multi-terminal and Edge-valued Decision Diagram LibrarY. It is an open-source software library that supports several types of decision diagrams, including binary decision diagrams (BDDs). See the list of features for a complete list of supported types.

The library is written in C++ and is licensed under the GNU Lesser General Public License Version 3. At the moment, there are no pre-compiled binaries or packages for the library. To obtain the library, you must download the source code and then build the library.

Acknowledgments

This project has been supported in part by the National Science Foundation under grants ACI-1642397, CSR-0546041, and CSR-0509340.