pkgsrc/devel/buddy/PLIST

@comment $NetBSD: PLIST,v 1.2 2006/03/14 20:23:07 kristerw Exp $
include/bdd.h
include/bvec.h
include/fdd.h
lib/libbdd.la
Update buddy to 2.4. The changes since last packaged version are only build related. 2006-03-14 21:23:07 +01:00			`@comment $NetBSD: PLIST,v 1.2 2006/03/14 20:23:07 kristerw Exp $`
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. 2003-12-31 01:04:19 +01:00			`include/bdd.h`
			`include/bvec.h`
			`include/fdd.h`
Update buddy to 2.4. The changes since last packaged version are only build related. 2006-03-14 21:23:07 +01:00			`lib/libbdd.la`