Библиотека Диаграмма двоичного решения, с: многие высокоэффективные векторизованные операции БДД, динамическая переменная переупорядочивания, автоматизированный сбор мусора, интерфейс СЗ с автоматическим подсчетом ссылок, и многое другое.
история версии
- Версия BuDDy%202.4 размещено на 2004-07-28
Несколько исправлений и обновлений - Версия BuDDy 2.4 размещено на 2004-07-28
Подробная информация о программе
- Категории: Развития > Других
- Издателя: buddy.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 2.4
- Платформы: linux