./devel/buddy, Library for binary decision diagrams

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: pkgsrc-2015Q4, Version: 2.4, Package name: buddy-2.4, Maintainer: kristerw

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.


Master sites:

SHA1: 0b58bb9f699593de148cd01b48656636eb4c0355
RMD160: 084f08a4dd109ede2f1d1ee24b4c686cee45e601
Filesize: 748.558 KB

Version history: (Expand)