Interactive BDD Environment 1.1
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 3.0/5 - 1 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О Interactive BDD Environment
IBEN - это интерактивная среда BDD. Это позволяет декларировать, манипулировать и визуализировать уменьшенные диаграммы бинарных решений (ROBDDs). Он был разработан как инструмент обучения, хотя это полезно всякий раз, когда вам нужно манипулировать BDD в интерактивном режиме и