ab644bec45
the author. PR: 93372 Submitted by: Li-Lun Wang (Leland Wang) <llwang@infor.org> (maintainer)
11 lines
385 B
Text
11 lines
385 B
Text
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/
|
|
|
|
- Leland Wang
|
|
llwang@infor.org
|