Smart Sudoku Solver 1.0.0

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

О Smart Sudoku Solver

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