pkgsrc - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2005-02-23	Add RMD160 digests.	agc	1	-1/+2

2004-12-03	Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs.	wiz	1	-2/+2
	Suggested by Roland Illig, ok'd by various.
2004-05-02	Convert to buildlink3.	snj	2	-22/+18

2003-12-31	Initial import of buddy version 2.2.	kristerw	7	-0/+108
	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.