blob: 64f9a6b75249722b28bbd3a082a28e0e119f1240 (
plain)
1
2
3
4
5
6
|
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.
WWW: http://buddy.sourceforge.net/
|
