kristerw 4e7317bf97 Initial import of buddy version 2.2. ... 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.		2003-12-31 00:04:19 +00:00
..
patch-aa	Initial import of buddy version 2.2.	2003-12-31 00:04:19 +00:00
patch-ab	Initial import of buddy version 2.2.	2003-12-31 00:04:19 +00:00