The BDD Library
The BDD library is available in a gzip'ed tar archive:
 bddlib.tar.gz (103K)
Clicking on the reference above retrieves the file automatically.
Get bddlib.tar.gz. Uncompress and untar:
gunzip -c bddlib.tar.gz | tar xfv -
There are two subdirectories, one called mem and the other called
bddlib. Each contains a tar file. After untarring these, build the
library in mem (a memory management library) first and then build the
BDD library itself. You will need to edit the Makefiles a bit. If
you have GNU make, all you need to do is set the variables at the top
of the Makefiles to indicate where you want things installed. If you
have a more vanilla make, you will also need to fix up the various
conditionals within each Makefile and append the file dependencies to
the end.
The library is written in C. Its main features include:
CMU-SCS Model Checking home page
|
