Clone wiki

JBDD / Home

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 :)


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