CUDD

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

Usage
Additional Content
- DDDMP
- Nanotrav
License
Feedback

Usage

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.

Additional Content

Next to the CUDD library in cudd/ and its C++11 API in cplusplus/ and its
dependencies, this folder also contains the following.

DDDMP

Also included in this distribution is the dddmp library by Giampiero Cabodi and
Stefano Quer.

Nanotrav

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.

License

This software is distributed under the BSD-3-Clause license.

Feedback

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
Fabio@Colorado.EDU
http://vlsi.colorado.edu/~fabio

ssoelvsten/cudd