Programas por javaddlib.sf.net

Este proyecto contiene dos bibliotecas diferentes de diagramas de decisión binaria (BDD): JBDD: una interfaz Java para dos bibliotecas BDD populares, CUDD y BuDDy. JDD: una biblioteca Java nativa compatible con BDD, Z-BDD y m