BuDDy 2.4-GCCcore-10.2.0A 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.
Accessing BuDDy 2.4-GCCcore-10.2.0
To load the module for BuDDy 2.4-GCCcore-10.2.0 please use this command on the BEAR systems (BlueBEAR, BEARCloud VMs, and CaStLeS VMs):
module load BuDDy/2.4-GCCcore-10.2.0
BEAR Apps Version
For more information visit the BuDDy website.
This version of BuDDy has a direct dependency on: GCCcore/10.2.0
This version of BuDDy is a direct dependent of: Maude/3.1-GCCcore-10.2.0
Last modified on 6th September 2021