Java Decision Diagram Libraries

Home of two Java Decision Diagrams (BDD) libraries: JDD and JBDD

Add a Review
3 Downloads (This Week)
Last Update:
Download jdd_104.jar
Browse All Files
Windows Mac Solaris Linux

Screenshots

Description

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)

(click the jdd and jbdd links above to get to each library)

Java Decision Diagram Libraries Web Site

Categories

License

zlib/libpng License

Update Notifications





Write a Review

User Reviews

Be the first to post a review of Java Decision Diagram Libraries!

Additional Project Details

Intended Audience

Developers, Science/Research

Programming Language

C, Java

Registered

2004-07-07
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.