Programma's van iben.sf.net

IBEN is de interactieve BDD-omgeving. Hiermee u verlaagde binaire beslissingsdiagrammen (ROBDD's) declareren, manipuleren en visualiseren. Het is ontworpen als een leermiddel, hoewel het nuttig is wanneer je nodig hebt om BDD