sci@gentoo.org
Gentoo Science Project
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.
buddy