Java Decision Diagram Libraries 103
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 4.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa Java Decision Diagram Libraries
Questo progetto contiene due diverse librerie BDD (Binary Decision Diagrams): JBDD: un'interfaccia Java per due librerie BDD più popolari, CUDD e BuDDy. JDD: una libreria Java nativa che supporta BDD, Z-BDD e altro (graph/automata/Petri nets/SAT)