Java Decision Diagram Libraries 103

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes

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