目录
- autoconfFIX: updated configure script11年前
- cmakecomplete cmake build system10年前
- contribA script to extract run-time info from z3 log13年前
- cudd-2.4.2Remove redefinition warning with gcc on ubuntu7年前
- doceliminated doxygen warnings.15年前
- srcfixing assertion7年前
- .gitignorecmake build system10年前
- CMakeLists.txtcomplete cmake build system10年前
- LICENSE15年前
- MakefileTop level Makefile15年前
- README12年前
- configureFIX: updated configure script11年前
- mkdist.sh12年前
目录README
邀请码
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:
Add src/include and cudd-2.4.2/include to your compiler include path.
Include “ldd.h”
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.