BuDDy 2.4-GCCcore-10.2.0

Deprecated: Use of this version of BuDDy is deprecated. More information on our Applications Support and Retention Policy.

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, BEAR Cloud VMs, and CaStLeS VMs):

module load BuDDy/2.4-GCCcore-10.2.0

BEAR Apps Version


More Information

For more information visit the BuDDy website.


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