Программы javaddlib.sf.net

Этот проект содержит две различные библиотеки Binary Decision Diagrams (BDD): JBDD: интерфейс Java для двух популярных библиотек BDD, CUDD и BuDDy. JDD: родная библиотека Java, поддерживающая BDD, Q-BDD и многое другое (графи