Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.
Download
javabdd-osx - 1.0b2 Mac OS X binary
Last Update: May 09 2005
©Copyright 1999-2008 - SourceForge, Inc., All Rights Reserved