README.md

Sudoku Solver using pycosat

Requirements

pip2 install pycosat

Usage

The method example_sudoku() solves a default Sudoku. If you want to solve a Killer Sudoku, given only sums and not numbers, example_killer_sudoku() is what you want.