blob: d696c4d09c5e54689ba8ea806be273912d68426c (
plain)
1
2
3
4
5
|
The BuDDy Binary Decision Diagrams (BDD) library presented here was made
as part of a ph.d. project on model checking of finite state machines.
The library 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.
|