BuDDy 2.4-GCCcore-10.2.0

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.

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

2020a

More Information

For more information visit the BuDDy website.

Dependencies

This version of BuDDy has a direct dependency on: GCCcore/10.2.0

Required By

This version of BuDDy is a direct dependent of: Maude/3.1-GCCcore-10.2.0

Last modified on 6th September 2021