1. Arash Vahidi (private) Avatar Arash Vahidi (private)
  2. Untitled project
  3. JBDD

Wiki

Clone wiki

JBDD / Home

View History

JBDD, a Java interface to CUDD and BuDDY

JBDD is a Java interface (JNI) for the two popular BDD libraries BuDDy and CUDD (and SBL, but that one is very unofficial). This allows you to use your favourite programming language [Java] and still have the benefits of using the current state of the art BDD packages.

Don't like native code?

If you don't like the idea of having native code in your Java application, check out JDD my pure Java library :)

Download

Pre-compiled binary packages can be found in the download page. But if you feel adventurous, you can download the source code using git:

git clone git@bitbucket.org:vahidi/jbdd.git

Updated