Biblioteca Java para manipular BDD (Binary Decision Diagrams). Los diagramas de decisión binarios se utilizan ampliamente en la comprobación de modelos, verificación formal, optimización de diagramas de circuitos, etc.
historial de versiones
- Versión 0.6%20Win32%20binary publicado en 2005-05-09
Varias correcciones y actualizaciones - Versión 0.6 Win32 binary publicado en 2005-05-09
Detalles del programa
- Categoría: Educación > Otro
- Editor: javabdd.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: 0.6
- Plataforma: linux