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 chaque fois que vous avez besoin de manipuler BDD interactivement et
historique de la version
- Version 1.1 posté sur 2003-03-25
Plusieurs correctifs et mises à jour - Version 1.1 posté sur 2003-03-25
Détails du programme
- Catégorie: Éducation > Autres
- Éditeur: iben.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: 1.1
- Plate-forme: linux