SAT решателер (MiniSat) на основе Судоку решатера. Предоставляет пользователям возможность итерировать через все возможные решения. Использует родной код; протестирован на G1/ADP1.
история версии
- Версия 1.0.0 размещено на 2010-01-18
Несколько исправлений и обновлений - Версия 1.0.0 размещено на 2010-01-17
Подробная информация о программе
- Категории: Игры и развлечения > Других
- Издателя: Dero Gharibian
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 1.0.0
- Платформы: android