Во время курса в Университете «Квота;La Sapienza»; в Риме я разработал полностью работающий SAT-решател, основанный на распространении единицы и отступлении; он может читать файлы DIMACS и обрабатывать формулы cnf любой длины (нет никаких ограничений на количество буквалов).
история версии
- Версия s-sat06.beta1 размещено на 2009-02-14
Несколько исправлений и обновлений - Версия s-sat06.beta1 размещено на 2009-02-14
Подробная информация о программе
- Категории: Образования > Других
- Издателя: s-sat.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 06
- Платформы: linux