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 obtain the source code and then build the library.

News

2018 May 22: Version 0.15.0 is now available. This version includes some experimental implementations of Saturation. See the Version History for more details. Note that the release numbering system has changed, since git does not use a revision number like subversion did.

2017 July 05: Version 0.14.818 is now available. Changes are mostly related to library initialization and cleanup. See the Version History for more details.

In the next several days, we will be migrating from subversion to git. This release also serves as a stable snapshot while we work through any kinks with this migration.

2016 June 15: Version 0.13.685 is now available. Added features include prototype implementations for saturation for partitioned relations and on-the-fly saturation. See the Version History for more details.

2015 April 25: Version 0.12.625 is now available. Added features include more (but not yet complete) support for Edge-valued DDs, and saturation for transition relations that are already partitioned by levels or events. Less visible additions include an abstract compute table interface, allowing the use of different compute tables. See the Version History for more details.

2014 February 04: Version 0.11.486 is now available. Most changes are to the Multi-terminal class hierarchy, and should have minimal impact on casual users. See the Version History for more details.

2013 July 30: Version 0.10.456 is now available. Most changes are related to how nodes are stored internally, and should have minimal impact on casual users. See the Version History for more details.

2012 September 26: Meddly has been upgraded to the new SourceForge. As a result of this, the subversion repositories have moved. Anyone using the subversion repository to obtain Meddly will want to do a fresh checkout from the new location.

2012 July 26: Version 0.9.397 is now available. There are many changes at the expert level for building and accessing nodes, and all the built-in operations have been updated. The code runs a bit faster now. See the Version History for more details.

2012 June 18: Version 0.8.311 is now available. Changes are mostly reorganization of the source code. Forest policies must be set at construction time. See the Version History for more details.

2011 July 26: Subscribe to the Meddly news mailing list for announcements about Meddly releases.

2011 July 15: Version 0.7.254 is now available. Compute tables have been reimplemented and are a bit faster now. See the Version History.

2011 July 05: Version 0.6.233 is now available. The compute manager class is replaced by top-level functions in the MEDDLY namespace. The back-end mechanism for operations has changed significantly. Applications that use only the simple interface should require only a few changes. See the Version History for a more detailed list.

2011 June 16: Version 0.5.186 is now available. Each variable in a domain is now represented by an instance of class variable, rather than an integer handle. See the Version History for a complete list of changes. The interface has changed, but not much; applications should require only a few minor changes to use version 0.5.

2011 June 13: Version 0.4.174 is now available. Error handling is now done using throw/catch instead of returning error codes. See the Version History for a list of changes to the interface; code using versions 0.3 and earlier must be modified to use version 0.4.

2011 June 08: Some major interface changes are planned for the next releases (0.4 and higher) of MEDDLY.

2011 June 08: Version 0.3.165 is now available.

2010 June 11: Version 0.2.101 is now available.

Acknowledgments

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