Java Decision Diagram Libraries 103
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 4.0/5 - 1 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O Java Decision Diagram Libraries
Ten projekt zawiera dwie różne biblioteki Binary Decision Diagrams (BDD): JBDD: interfejs Java do dwóch popularnych bibliotek BDD, CUDD i BuDDy. JDD: natywna biblioteka Java obsługująca BDD, Z-BDD i inne (graph/automata/Petri nets/SAT)