Programmes par javaddlib.sf.net

Ce projet contient deux bibliothèques différentes de diagrammes de décision binaire (BDD) : JBDD : une interface Java pour deux bibliothèques BDD populaires, CUDD et BuDDy. JDD: une bibliothèque Java native supportant BDD, Z-