Programmi di javaddlib.sf.net
-
Java Decision Diagram Libraries Gratuito
Questo progetto contiene due diverse librerie BDD (Binary Decision Diagrams): JBDD: un'interfaccia Java per due librerie BDD più popolari, CUDD e BuDDy. JDD: una libreria Java nativa che supporta BDD, Z-BDD e altro (graph/aut