BDD BuDDyBDD BuDDy is a Binary Decision Diagram library. | |
Download |
BDD BuDDy Ranking & Summary
Advertisement
BDD BuDDy Tags
BDD BuDDy Description
BDD BuDDy is a Binary Decision Diagram library. 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 Jrn 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.
BDD BuDDy Related Software