Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 956 Categories, Downloaded 49.594.116 Times

Screenshot

Java Decision Diagram Libraries 104

Java Decision Diagram Libraries

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)