File	Date	Author	Commit
autoconf	2013-05-16	Arie Gurfinkel	[f047c1] FIX: updated configure script
cmake	2014-06-18	Arie Gurfinkel	[d78e8c] complete cmake build system
contrib	2011-07-05	arie@sei.cmu.edu	[26767e] A script to extract run-time info from z3 log
cudd-2.4.2	2014-06-18	Arie Gurfinkel	[d78e8c] complete cmake build system
doc	2010-04-15	chaki@sei.cmu.edu	[84ea7e] eliminated doxygen warnings.
src	2017-05-18	Arie Gurfinkel	[5e152b] fixing assertion
.gitignore	2014-06-18	Arie Gurfinkel	[dc6c6f] cmake build system
CMakeLists.txt	2014-06-18	Arie Gurfinkel	[d78e8c] complete cmake build system
LICENSE	2010-01-25	arie@sei.cmu.edu	[bb7895]
Makefile	2010-04-14	arie@sei.cmu.edu	[1dccc9] Top level Makefile
README	2013-04-17	arie@sei.cmu.edu	[1bf49c]
configure	2013-05-16	Arie Gurfinkel	[f047c1] FIX: updated configure script
mkdist.sh	2013-04-17	arie@sei.cmu.edu	[1bf49c]

Read Me

This is the pre-alpha release of the Linear Decision Diagram (LDD)
library. The library is released under a modified BSD license. See
LICENSE for details. The license for CUDD is in cudd-2.4.2/LICENSE.

To compile, run "./configure ; make" in the top level directory.  This
will compile the included CUDD library and the LDD library.

To use LDD:

1) Add src/include and cudd-2.4.2/include to your compiler include path.

2) Include "ldd.h"

3) Link with the CUDD libraries libcudd.a libst.a libutil.a libmtr.a
libepd.a libdddmp.a (which are in appropriate sub-directories of
cudd-2.4.2), and the LDD library src/ldd/libldd.a.

To generate doxygen documentation, run "make doc" in the top level
directory.

The API provided by LDD are similar to CUDD. Some examples can be
found in "src/test". Note that all side-effect free CUDD functions
(e.g., Cudd_DagSize) can be applied to LDDs directly.


For additional information, contact lindd-feedback@lists.sourceforge.net.