diff options
| author | kristerw <kristerw@pkgsrc.org> | 2003-12-31 00:04:19 +0000 |
|---|---|---|
| committer | kristerw <kristerw@pkgsrc.org> | 2003-12-31 00:04:19 +0000 |
| commit | 4e7317bf976fec69452e34ea8590d52589c8de89 (patch) | |
| tree | 398086b1ded28c7f9a5dcb17a410e95b70f7e0b6 /devel/libtecla | |
| parent | cef581dfc018fd8d79deedaadfd8eaeb36bd1b04 (diff) | |
| download | pkgsrc-4e7317bf976fec69452e34ea8590d52589c8de89.tar.gz | |
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.
Diffstat (limited to 'devel/libtecla')
0 files changed, 0 insertions, 0 deletions