Sudoku is a famous puzzle1 where the objective is to to fill a 9x9 grid with integer digits from
N = {1,2,...,9}, so that the resulting grid satisies two basic constraints:
- Each digit in N appears exactly once in every row and column of the grid.
- Each digit in N
https://github.com/hmtkvs/SAT-Solvers---Sudoku/blob/main/Instructions.pdf
https://github.com/hmtkvs/SAT-Solvers---Sudoku/blob/main/Project_Report.pdf