prism-accumulation/cudd

$Id$

This directory contains a set of packages that allow you to build a toy
application based on the CUDD package.

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).

The toy 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.

INSTALLATION

Before you build the libraries and programs, you need to check the
Makefile in the top directory.  Go through the definitions contained in the
configuration section, and select the desired compiler and compilation
flags.  Instructions are provided in the comments of the Makefile.

You can always specify the options on the command line.  For instance,
on some machines you can build a "fast" version of the program b