Buddy

Binary Decision Diagram library

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/