mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-25 00:51:21 +00:00
2b1dacc826
- Name em@i.l or variations thereof. While I'm here also fix some whitespace and other formatting errors, including moving WWW: to the last line in the file.
10 lines
354 B
Plaintext
10 lines
354 B
Plaintext
BuDDY is a Binary Decision Diagram library, with: many highly efficient
|
|
vectorized BDD operations, dynamic variable reordering, automated
|
|
garbage collection, a C++ interface with automatic reference counting,
|
|
and much more.
|
|
|
|
Author: Jorn Lind-Nielsen - Original Developer
|
|
Haim Cohen <haimcohen@users.sourceforge.net>
|
|
|
|
WWW: http://buddy.sourceforge.net/
|