프로그램별 Dero Gharibian

Smart Sudoku Solver 무료

SAT 솔버 (미니사트) 기반 스도쿠 솔버. 사용자에게 가능한 모든 솔루션을 반복할 수 있는 기능을 제공합니다. 네이티브 코드를 사용합니다. G1/ADP1에서 테스트되었습니다.