Path to this page:
./
devel/buddy,
Library for binary decision diagrams
Branch: pkgsrc-2022Q3,
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:
Filesize: 748.558 KB
Version history: (Expand)
- (2022-09-26) Package added to pkgsrc.se, version buddy-2.4 (created)