I was just just googling for BDD and found this one.
it's really good to see that java has libraries for almost everything. however, i really doubt about a BDD manipulation library in java. I guess a java implemetation would be running at a dead slow
speed for all but for tiny BDDs. Definitely, a C or C++ implementation would make more sense for
such computational intensive applications. One such implementation is by colorado university