Programas por iben.sf.net

IBEN é o ambiente BDD interativo. Ele permite que você declare, manipule e visualize diagramas de decisão binárias ordenados reduzidos (ROBDDs). Ele foi projetado como uma ferramenta de aprendizagem, embora seja útil sempre q