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)
Release Date:
Topic:
Operating System:
All POSIX (Linux/BSD/UNIX-like OSes),
Linux, Win2K, WinXP, OS Independent (Written in an interpreted language),
Solaris
License:
Translations:
Intended Audience:
Programming Language:
Registered:
Ratings and Reviews
Be the first to post a text review of Java Decision Diagram Libraries. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
JBDD binaries JBDD bin-v1.20 file released: JBDD_OSX.tar.bz2
JBDD has now its own package
-
File released: /JBDD binaries/JBDD bin-v1.20/JBDD_OSX.tar.bz2
-
Project Information Updated
vahidi changed the public information on the Java Decision Diagram Libraries project -
Tracker comment added
vahidi commented on the JDD javadoc fixes artifact -
Code committed
vahidi committed patchset 63 of module jdd to the Java Decision Diagram Libraries CVS repository, changing 11 files -
Tracker comment added
vahidi commented on the JDD: source encoding artifact -
Code committed
vahidi committed patchset 62 of module jdd to the Java Decision Diagram Libraries CVS repository, changing 1 files -
Tracker comment added
vahidi commented on the JDD: Java 5 artifact -
Tracker comment added
jjames commented on the JDD: source encoding artifact -
Tracker artifact added
jjames created the JDD javadoc fixes artifact
Rate and Review
Be the first person to add a text review.
Related Projects
-
-
-
imagesendfs
A peer to peer full screen image sending application. You could have a bunch of connected buddies and you can send images in full screen from one buddy to another connected buddy. This is the initial cut version without any bells and whistles.
Java Decision Diagram Libraries Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
