Это проект, направленный на создание программного обеспечения для решения проблемы вероятностной сатисфиентности (PSAT) при логическом подходе.
история версии
- Версия PsatColGen размещено на 2011-03-16
Несколько исправлений и обновлений - Версия N/A размещено на 2011-03-16
Подробная информация о программе
- Категории: Сеть и Интернет > Других
- Издателя: psat.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: Array
- Платформы: windows