| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2006-03-14 | Update buddy to 2.4. | kristerw | 1 | -6/+2 | |
| The changes since last packaged version are only build related. | |||||
| 2003-12-31 | Initial import of buddy version 2.2. | kristerw | 1 | -0/+9 | |
| 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. | |||||
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |