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-BDD et plus encore (graph/automata/Petri nets/SAT)
historique de la version
- Version JDD.jar-build103 posté sur 2009-03-10
Plusieurs correctifs et mises à jour - Version JDD.jar-build103 posté sur 2009-03-10
Détails du programme
- Catégorie: Développement > Autres
- Éditeur: javaddlib.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: 103
- Plate-forme: linux