Реализация BDD на Java
У кого-нибудь есть предложения по реализации BDD (бинарных диаграмм решений) в Java (или той, которая обеспечивает привязки Java)? Я нашел эту страницу в Интернете: http://www.mancoosi.org/~abate/avalaible-bdd-libraries но не уверен, что она устарела. Или имеет смысл просто использовать реализацию Пролога?
1 ответ
Решение
На странице английской википедии представлен ряд возможных пакетов BDD практически на любом известном языке программирования. http://en.wikipedia.org/wiki/Binary_decision_diagram
Я не пробовал, но JavaBDD может взаимодействовать с CUDD, который на данный момент является одним из лучших BDD-пакетов. http://javabdd.sourceforge.net/