pkgsrc

kpriv/pkgsrc

Fork 0

Commit graph

Author	SHA1	Message	Date
kristerw	b2e262338f	Update buddy to 2.4. The changes since last packaged version are only build related.	2006-03-14 20:23:07 +00:00
agc	4a3d2f7ce2	Add RMD160 digests.	2005-02-23 22:24:08 +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

kristerw

b2e262338f

Update buddy to 2.4.

The changes since last packaged version are only build related.

2006-03-14 20:23:07 +00:00

agc

4a3d2f7ce2

Add RMD160 digests.

2005-02-23 22:24:08 +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