Description du projet
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.