Path to this page:
./
devel/buddy,
Library for binary decision diagrams
Branch: pkgsrc-2013Q1,
Version: 2.4,
Package name: buddy-2.4,
Maintainer: kristerwThe 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)
- (2013-04-01) Package added to pkgsrc.se, version buddy-2.4 (created)