Skip to content

vpfautz/sudoku

Folders and files

NameName
Last commit message
Last commit date

Latest commit

4f77722 · Oct 14, 2018

History

6 Commits
Mar 15, 2017
Feb 27, 2017
Oct 14, 2018

Repository files navigation

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.

About

Solving sudoku using SAT

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages