I was just just googling for BDD and found this one.
http://javaddlib.sourceforge.net/jbdd/api.html
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
http://vlsi.colorado.edu/~fabio/CUDD/
No comments:
Post a Comment