BuDDy 2.4

BuDDy is a Binary Decision Diagram (BDD) 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-1.fc21.src.rpm

SPECS

For the purpose of submitting this package to Fedora, here is the RPM spec file.

Back to the RPMS


Last modified: Thu Jan 23 15:43:53 MST 2014 by Jerry James