IBEN è l'ambiente BDD interattivo. Consente di dichiarare, manipolare e visualizzare diagrammi decisionali binari ordinati ridotti (ROBDD). È stato progettato come strumento di apprendimento, anche se è utile ogni volta che è necessario manipolare BDD in modo interattivo e
cronologia delle versioni
- Versione 1.1 pubblicato il 2003-03-25
Diverse correzioni e aggiornamenti - Versione 1.1 pubblicato il 2003-03-25
Dettagli del programma
- Categoria: Istruzione > Altro
- Editore: iben.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 1.1
- Piattaforma: linux