aboutsummaryrefslogtreecommitdiff
path: root/libraries/buddy/README
blob: 43caf2db9d406049668436d6651a25693ab44917 (plain)
1
2
3
4
5
6
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.