Programas por iben.sf.net

IBEN é o ambiente interativo de BDD. Permite-lhe declarar, manipular e visualizar diagramas de decisão binárias reduzidos (ROBDDs). Foi projetado como uma ferramenta de aprendizagem, embora seja útil sempre que você precisa m