Programmes par iben.sf.net

IBEN est l’environnement BDD interactif. Il vous permet de déclarer, manipuler et visualiser les diagrammes de décision binaires commandés réduits (ROBDDs). Il a été conçu comme un outil d’apprentissage, bien qu’il soit utile