Implementation of a SAT solver used to solve Sudoku. Takes CNF statements and finds satisfying assignments for them.
Download this repository then run server.py
inside the sudoku-solver
folder. Starter puzzles can be found in the puzzles
folder.