cudd

KO | EN

gitlite — search

#hacktoberfest #typescript #go #golang #android #deep-learning #linux #windows #cli #awesome-list #security #mcp #ios #open-source

(★ 9)

CUDD: CU Decision Diagram package - with CMake and extended C++

cudd Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# 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](#usage)
- [Additional Content](#additional-content)
    - [DDDMP](#dddmp)
    - [Nanotrav](#nanotrav)
- [License](#license)
- [Feedback](#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.

```bash
git submodule add https://github.com/SSoelvsten/cudd external/cudd
git submodule update
```

Then include the following line in your project's CMakeLists.txt.
```bash
add_subdirectory(external/cudd cudd)
```

Finally, every single executable target is linked to CUDD in the
CMakeLists.txt file with the following lines.
```bash
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](LICENSE).

## Feedback

This fork of CUDD has diverged from the official version; please open an
[issue](https://github.com/SSoelvsten/cudd/issues/new) 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
```

cudd

cudd Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

cudd

cudd Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README