Subject: CVS commit: pkgsrc/devel/buddy
From: Krister Walfridsson
Date: 2003-12-31 01:04:19
Message id: 20031231000419.534902DA1D@cvs.netbsd.org

Log Message:
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.


Files:
RevisionActionfile
1.1importpkgsrc/devel/buddy/Makefile
1.1importpkgsrc/devel/buddy/buildlink2.mk
1.1importpkgsrc/devel/buddy/distinfo
1.1importpkgsrc/devel/buddy/DESCR
1.1importpkgsrc/devel/buddy/PLIST
1.1importpkgsrc/devel/buddy/patches/patch-aa
1.1importpkgsrc/devel/buddy/patches/patch-ab