Java Decision Diagram Libraries 103
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 4.0/5 - 1 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
Over Java Decision Diagram Libraries
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)