blob: 93f36e397cbea8dcac800999bd9af3b9979259b8 (
plain) (
blame)
1
2
3
4
|
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.
|
