Java Decision Diagram Libraries 103
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 4.0/5 - 1 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О Java Decision Diagram Libraries
Этот проект содержит две различные библиотеки Binary Decision Diagrams (BDD): JBDD: интерфейс Java для двух популярных библиотек BDD, CUDD и BuDDy. JDD: родная библиотека Java, поддерживающая BDD, Q-BDD и многое другое (график/автомат/Петри сети/SAT)