blob: 43caf2db9d406049668436d6651a25693ab44917 (
plain) (
tree)
|
|
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.
|