Overview

BDDPP is a library completely written in C++ for experimenting with binary decision diagrams (BDDs). Features:

• Currently supported BDD types are OBDDs with or without complemented edges.
• OBDDs can be created from scratch using library routines or from combinatorial circuits in SLIF format.
• OBDDs can be saved and loaded using a text-based format.
• A simple graph drawing program for creating Postscript images of OBDDs is included in the package.

Resources

• Download: Source files (developed and tested under Linux, openSUSE 10.2).
• Manual and Documentation (created with Doxygen 1.5.6).

License

© 1993-2008 Martin Sauerhoff