BuDDy 2.4

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.

SRPMS

buddy-2.4-3.src.rpm

Patch Descriptions

buddy-2.4-configure.patch

Update some obsolete autoconf macros.

buddy-2.4-reorder.patch

Fix a botched function call.

Back to the RPMS