Subject: CVS commit: pkgsrc/devel/buddy
To: None <>
From: Krister Walfridsson <>
List: pkgsrc-changes
Date: 12/31/2003 00:04:19
Module Name:	pkgsrc
Committed By:	kristerw
Date:		Wed Dec 31 00:04:19 UTC 2003

Update of /cvsroot/pkgsrc/devel/buddy
In directory

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/
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