JavaBDD / News: Recent posts

This is the beta version of the upcoming 1.0 release. There are many, many new features and enhancements, and performance has been greatly improved. If no one reports any problems, I will rerelease this as 1.0.

The native BuDDy library includes many new optimizations that are not in the distributed version of BuDDy. Even if you are not using JavaBDD but just using the BuDDy library with C, you can use the included libbuddy.so to take advantage of these performance improvements.

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

JavaBDD is a Java library for manipulating Binary Decision Diagrams, which are widely used in model checking, formal verification, optimizing circuit diagrams, etc. Version 0.4 includes an interface to the CUDD native library.