Programas por iben.sf.net

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