It generates a minimal sudoku that can have a unique solution and also solves sudoku puzzles using minisat
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool