Programy według iben.sf.net

IBEN jest interaktywnym środowiskiem BDD. Pozwala na deklarowanie, manipulowanie i wizualizowanie zredukowanych uporządkowanych schematów decyzji binarnych (ROBDD). Został zaprojektowany jako narzędzie do nauki, chociaż jest