Projects / JavaBDD


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.

Operating Systems

Recent releases

  •  01 Nov 2003 06:31

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

    •  05 Aug 2003 11:26

      Release Notes: 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.

      •  19 Jun 2003 08:38

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

        •  21 Feb 2003 11:33

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

          •  30 Jan 2003 17:36

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


            Project Spotlight


            A Fluent OpenStack client API for Java.


            Project Spotlight

            TurnKey TWiki Appliance

            A TWiki appliance that is easy to use and lightweight.