Search Results for "bdd"

SCRAM is a free and open source probabilistic risk analysis tool. The tool is under development to include fault tree, event tree, common cause, and other standard analyses.

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.

This project has been moved to bitbucket.org: - https://bitbucket.org/vahidi/jbdd/wiki/Home - https://bitbucket.org/vahidi/jdd/wiki/Home It includes two libraries for working with decision diagrams: - JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy - JDD: a native Java library supporting BDD, Z-BDD

BuddyScout is an interface between BuDDy (Binary Decision Diagram library) and GHC (Glasgow Haskell Compiler). It enables you to use the BDD library from within Haskell programs.

BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.

JJS-BDD provides a library for manipulating switching functions in an efficient way (based on sobdd). There is a GUI for small bdd's where you can see how bdd's work (for teaching purposes).

IBEN is the interactive BDD environment. It allows you to declare, manipulate and visualize reduced ordered binary decision diagrams (ROBDDs). It was designed as a learning tool, although it is useful whenever you need to manipulate BDD interactively and