MTBDD is a project mainly written in ..., it's free.
project at EPM
This project uses JNI to implement a java package that handles BDD and ADD functions of the CUDD library in C.