BDD BuDDy 2.4 (Default branch)

BuDDy was created 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 Binary Decision Diagrams
(BDDs) to a full blown BDD package with all the
standard BDD operations, reordering, a C++
interface, and a wealth of documentation.

Related Posts