![](/statics/img/blank.png)
Java Decision Diagram Libraries 103
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 4.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de Java Decision Diagram Libraries
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ás (graph/automata/Petri nets/SAT)