Programy według javaddlib.sf.net
-
Java Decision Diagram Libraries Wolna
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