開發者 Dero Gharibian

Smart Sudoku Solver 免費

基於數獨解算器的 SAT 解算器（MiniSat）。使使用者能夠透過所有可能的解決方案進行反覆運算。使用本機代碼;在 G1/ADP1 上測試。