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)
historial de versiones
- Versión JDD.jar-build103 publicado en 2009-03-10
Varias correcciones y actualizaciones - Versión JDD.jar-build103 publicado en 2009-03-10
Detalles del programa
- Categoría: Desarrollo > Otro
- Editor: javaddlib.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: 103
- Plataforma: linux