Java Decision Diagram Libraries 103

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen

Dit project bevat twee verschillende Binaire Decision Diagrams (BDD) bibliotheken: JBDD: een Java-interface naar twee populaire BDD-bibliotheken, CUDD en BuDDy. JDD: een native Java-bibliotheek ter ondersteuning van BDD, Z-BDD en meer (grafiek/automata/Petrinetten/SAT)

versiegeschiedenis

  • Versie JDD.jar-build103 geplaatst op 2009-03-10
    Verschillende oplossingen en updates
  • Versie JDD.jar-build103 geplaatst op 2009-03-10

Programmadetails