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.




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