Java Decision Diagram Libraries

beta
7 Recommendations
14 Downloads (This Week)
Last Update:
Download jdd_104.jar
Browse All Files
Windows Mac Solaris Linux

Screenshots

The hash-test utility The BDD-trace utility The cache profiler utility A binary decision diagram A zero-supressed binary decision diagram The n-queens example

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)

Java Decision Diagram Libraries Web Site

Categories

Artificial Intelligence, Electronic Design Automation (EDA), Mathematics

License

zlib/libpng License

Update Notifications





User Ratings

100% recommended
 
 
7
0
Write a Review

User Reviews

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

Additional Project Details

Languages

English

Intended Audience

Developers, Science/Research

Programming Language

C, Java

Registered

2004-07-07

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