BDD BuDDy is a Binary Decision Diagram library, with : many highly efficient vectorized BDD operations, dynamic variable reordering, automated garbage collection, a C++ interface with automatic reference counting, and much more.
The BDD package presented here was made as part of a PhD project on model checking of finite state machines by Jørn Lind-Nielsen. The package has evolved from a simple introduction to BDDs to a full blown BDD package with all the standard BDD operations, reordering and a wealth of documentation.
The package is extremely simple to use; for C/C++ programs you just include "bdd.h" and link with "bdd" and then you are up and running. With the C++ interface you don't even have to think about reference counting and garbage collection.
What's New in This Release:
· Using configure script for the build process.
· Adding runregression script which runs examples and compare to expected results.
Product's homepage