./devel/buddy, Library for binary decision diagrams

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


Branch: pkgsrc-2021Q4, 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:

Filesize: 748.558 KB

Version history: (Expand)