The project contains a few examples for solving Sudoku puzzles
-
norvig.py
Peter Norvig's algorithm in Python, see Peter Norvig: Solving Every Sudoku Puzzle -
sudoku-joc The brute force algorithm from Michael Fogus, Chris Houser: The Joy of Clojure Second Edition
-
sudoku
A more or less naïve brute force algorithm -
sudoku-cl
A Sudoku solver in core.logic, adapted from The core.logic Wiki
There are two more examples as parts of their projects on my github account:
-
A Sudoku solver based on the Logic WorkBench (lwb), see https://github.com/esb-dev/lwb
-
A Sudoku solver based on Kodkod in Clojure (kic), the ultrathin wrapper for the Kodkod constraint solver, see https://github.com/esb-dev/kic
Examples of puzzles, "stolen" from Peter Norvig, can be found in the resources subfolder of the project:
-
easy50.txt
50 easy puzzles -
top95.txt
95 hard puzzles -
hardest.txt
11 puzzles found by searching for the "hardest puzzles"
Slides 3 times Sudoku - Logic and Constraints in Clojure at the German Clojure Conference, Jan 24th, 2015 in Berlin.