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