Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2004-05-02 | Convert to buildlink3. | snj | 2 | -22/+18 | |
2003-12-31 | Initial import of buddy version 2.2. | kristerw | 7 | -0/+108 | |
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. |