JavaBDD

This version fixed some security problems by adding
better null and type checking.

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.

This version includes an interface to the CUDD BDD
native library. Various other improvements and updates
to the API were made.

In this version, many bugs were fixed. Most functionality has been tested, so this version should be more or less stable and usable.

This is the first release of this software, and is largely untested.