5 lines
224 B
Plaintext
5 lines
224 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.
|