Interactive BDD Environment 1.1
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 3.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 Interactive BDD Environment
IBEN es el entorno BDD interactivo. Le permite declarar, manipular y visualizar diagramas de decisión binarios ordenados reducidos (ROBDD). Fue diseñado como una herramienta de aprendizaje, aunque es útil siempre que necesite manipular BDD de forma interactiva y