Binary Decision Diagram

BDD BuDDy is 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. The BDD package presented here was made as part of a PhD project... Platforms: *nix

This project contains two different Binary Decision Diagrams (BDD) libraries: JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy. JDD: a native Java library supporting BDD, Z-BDD and more (graph/automata/Petri nets/SAT) Platforms: Windows, Mac, Solaris, Linux

CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language is based on first-order predicate calculus.The implementation is based on the data structure binary decision diagram (BDD), which is well-known as... Platforms: C and C plus plus

ITVal is a decision-diagram based query engine for testing and verifying iptables firewalls. Because firewalls can be very complicated, it is often difficult to know whether your firewall is correctly configured to protect against various attacks. ITVal allows the system administrator to... Platforms: *nix

JReliability allows to derive several reliability-related measures like Mean-Time-To-Failure (MTTF) or Mission-Time (MT) of complex systems that are modeled using Boolean functions, efficiently encoded in Binary Decision Diagrams (BDDs). Platforms: Windows, Mac, Linux

JavaBDD is a Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc. For an excellent overview of the BDD data structure, see this set of lecture notes by Henrik Reif... Platforms: *nix

Interactive BDD Environment project is a shell like utility for working with ROBDDs. IBEN is a tool used for teaching Reduced Ordered Binary Decision Diagrams. It allows the student to work with ROBDDs without learning a complex C or C++ interface to an ROBDD package. One can enter the... Platforms: *nix

The core of PolyBoRi is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as... Platforms: Mac

The programs compute the enthalpy versus composition diagram for ethanol-water binary system at 760mmHg and 76 mmHg. We also draw the tie lines and the conjugate line. Platforms: Matlab

A uniform random number generator is used to generate the binary information sequence from the binary data source. The sequence of d-de?0d-deOaos and d-de?1d-deOaos is mapped into sequence of +E and d-deOCtEwhere E represents the signal energy. E may be normalized to unityThe Gaussian noise... Platforms: Matlab

The program computes the number of equilibrium stages for a binary ideal mixture with relative volatility equal to 2.45. The feed is a two phase mixture with a feed quality is equal to 0.85. The distillate, feed and bottom mole fractions are 0.9, 0.5 and 0.1, respectively. The reflux ratio is... Platforms: Matlab

One must input to a dialog box Antoine's constants, Wilson binary interaction parameters and liquid molar volume of any binary mixture of his choice. The program computes and plots activity coefficients, relative volatility and VLE diagram. Platforms: Matlab

Parse::Binary::FixedFormat::Variants is a Perl module to convert between variant records and hashes. Parse::Binary::FixedFormat supports variant record formats. To describe a variant structure, pass a hash reference containing the following elements to new. The object returned to handle variant... Platforms: *nix

The programs compute the vapor-liquid diagram of an ethane-benzene mixture at 25dlT-C and 175dlT-C. This binary mixture exhibits a peculiar behavior because the volatilities of ethane and benzene are very different. We use the SRK equation of state to compute equilibrium constants. This problem... Platforms: Matlab

Binary Viewer is a free windows utility allowing you to open and view any file located on your computer regardless of format file was saved. It can display data in decimal, octal, hexadecimal and text (ASCII or Unicode) formats. Program supports Alternate Data Streams (ADS). It also provides... Platforms: Windows

Decision::Markov is a Perl module with markov models for decision analysis. SYNOPSIS use Decision::Markov; $model = new Decision::Markov; $state = $model->AddState("Name",$utility); $error = $model->AddPath($state1,$state2,$probability); $error = $model->Check... Platforms: *nix

Parse::Binary::FixedFormat is a Perl module to convert between fixed-length fields and hashes. SYNOPSIS use Parse::Binary::FixedFormat; my $tarhdr = new Parse::Binary::FixedFormat [ qw(name:a100 mode:a8 uid:a8 gid:a8 size:a12 mtime:a12 chksum:a8 typeflag:a1 linkname:a100 magic:a6... Platforms: *nix

Search::Binary is a Perl module for generic binary search. SYNOPSIS use Seach::Binary; $pos = binary_search($min, $max, $val, $read, $handle, [$size]); binary_search implements a generic binary search algorithm returning the position of the first record whose index value is greater than or... Platforms: *nix

Tree::Binary is a Object Oriented Binary Tree for Perl. SYNOPSIS use Tree::Binary; # a tree representaion of the expression: # ((2 + 2) * (4 + 5)) my $btree = Tree::Binary->new("*") ->setLeft( Tree::Binary->new("+") ->setLeft(Tree::Binary->new("2")) ->setRight(Tree::Binary->new("2"))... Platforms: *nix

Tree::Binary::Search is a binary search tree for Perl. SYNOPSIS use Tree::Binary::Search; my $btree = Tree::Binary::Search->new(); $btree->useNumericComparison(); $btree->insert(5 => "Five"); $btree->insert(2 => "Two"); $btree->insert(1 => "One"); $btree->insert(3 => "Three");... Platforms: *nix