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