pkgsrc

kpriv/pkgsrc

Fork 0

Commit graph

Author	SHA1	Message	Date
wiz	6e02d7ee41	Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs. Suggested by Roland Illig, ok'd by various.	2004-12-03 15:14:50 +00:00
snj	a50c60886c	Convert to buildlink3.	2004-05-02 23:02:06 +00:00
kristerw	4e7317bf97	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 00:04:19 +00:00

Author

SHA1

Message

Date

wiz

6e02d7ee41

Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs.

Suggested by Roland Illig, ok'd by various.

2004-12-03 15:14:50 +00:00

snj

a50c60886c

Convert to buildlink3.

2004-05-02 23:02:06 +00:00

kristerw

4e7317bf97

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 00:04:19 +00:00

3 commits