Programmi di iben.sf.net

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 è