Module Name:	pkgsrc
Committed By:	kristerw
Date:		Wed Dec 31 00:04:19 UTC 2003

Update of /cvsroot/pkgsrc/devel/buddy
In directory ivanova.netbsd.org:/tmp/cvs-serv23157

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.


Vendor Tag:	TNF
Release Tags:	pkgsrc-base
		
N pkgsrc/devel/buddy/Makefile
N pkgsrc/devel/buddy/buildlink2.mk
N pkgsrc/devel/buddy/distinfo
N pkgsrc/devel/buddy/DESCR
N pkgsrc/devel/buddy/PLIST
N pkgsrc/devel/buddy/patches/patch-aa
N pkgsrc/devel/buddy/patches/patch-ab

No conflicts created by this import