Skip to content

Latest commit

 

History

History
16 lines (12 loc) · 669 Bytes

README.md

File metadata and controls

16 lines (12 loc) · 669 Bytes

Sudoku Solver

A simple python code which reduces the Sudoku to SAT and solves it using minisat SAT solver.

Requirements

  1. Python 3
  2. minisat solver from https://github.com/niklasso/minisat
  3. tkinter with dependencies

Note: Complete installation instructions for MiniSat Solver are mentioned in it's respective repository but in short:

  1. clone minisat git clone https://github.com/niklasso/minisat.git
  2. cd to minisat directory cd minisat
  3. install using sudo make install

Input Format

The Sudoku is input block wise, the first row of puzzle array contains the first block of Sudoku, and so on. The blanks in Sudoku are replaced by zeros(0).