The CUDD package is a package written in C for the manipulation of decision diagrams. It supports binary decision diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs).
Table of Contents
To get started with CUDD, you need to place the repository somewhere on your machine. The simplest way to do so is to add it as a submodule inside the Git repository of your project.
git submodule add https://github.com/SSoelvsten/cudd external/cudd
git submodule update
Then include the following line in your project's CMakeLists.txt.
add_subdirectory(external/cudd cudd)
Finally, every single executable target is linked to CUDD in the CMakeLists.txt file with the following lines.
add_executable(<target> <source>)
target_link_libraries(<target> cudd)
At this point, you may include the C header "cudd.h"
and/or the C++ header
"cuddObj.hh"
and get started on programming.
Building the API documentation is possible via the cudd-doc
target (requires
Doxygen to be installed). You can then open doc/html/index.html
in the CUDD
project build directory.
Next to the CUDD library in cudd/ and its C++11 API in cplusplus/ and its dependencies, this folder also contains the following.
Also included in this distribution is the dddmp library by Giampiero Cabodi and Stefano Quer.
This directory contains a set of packages that allow you to build a test application based on the CUDD package.
The test application provided in this kit is called nanotrav and is a simple-minded FSM traversal program. (See the README file and the man page nanotrav.1 in the nanotrav directory for the details.) It is included so that you can run a sanity check on your installation.
This software is distributed under the BSD-3-Clause license.
This fork of CUDD has diverged from the official version; please open an issue on this repository for requests or bug reports. For feedback on CUDD itself in general, please send your feedback to the original author, Fabio Somenzi:
Fabio Somenzi
University of Colorado at Boulder
ECE Dept.
Boulder, CO 80309-0425
[email protected]
https://vlsi.colorado.edu/~fabio