Smart Sudoku Solver 1.0.0

Лицензии: Бесплатный ‎Размер файла: 26.21 MB
‎Рейтинг пользователей: 5.0/5 - ‎1 ‎Голосов

SAT решателер (MiniSat) на основе Судоку решатера. Предоставляет пользователям возможность итерировать через все возможные решения. Использует родной код; протестирован на G1/ADP1.

история версии

  • Версия 1.0.0 размещено на 2010-01-18
    Несколько исправлений и обновлений
  • Версия 1.0.0 размещено на 2010-01-17

Подробная информация о программе