Programma's van javaddlib.sf.net

Dit project bevat twee verschillende Binaire Decision Diagrams (BDD) bibliotheken: JBDD: een Java-interface naar twee populaire BDD-bibliotheken, CUDD en BuDDy. JDD: een native Java-bibliotheek ter ondersteuning van BDD, Z-BD