The cudd package: Overview

# The cudd package

## The University of Colorado decision diagram package.

### By Fabio Somenzi

- Information for programmers
- Information for developers sorted by function
- Information for developers sorted by file

External functions and data strucures of the CUDD package.

- To turn on the gathering of statistics, define DD_STATS.
- To link with mis, define DD_MIS.

Modified by Abelardo Pardo to interface it to VIS.

Last updated on 20120204 17h33
writing ./cuddExt.html