JavaBDD is a Java library for manipulating BDDs
(binary decision diagrams). Binary decision
diagrams are widely used in model checking, formal
verification, optimizing circuit diagrams, and
other areas.
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.
This version adds a 100% Java implementation of the
BDD factory, so the native library is no longer
necessary. There is now a Java implementation of
variable domains. Domains can be up to 2^64 in size.
There is also a Java implementation of bit vectors,
along with the associated operations (add, subtract,
multiply, divide, etc.) Fixes and extensions to the CUDD
interface were performed. CUDD can now run all of the
test cases correctly. There were many other small
refinements to the API.