Программы Dero Gharibian

Smart Sudoku Solver Бесплатный

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