Friday, May 27, 2005

BDD(Binary Decision Diagram) library in java

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

No comments: