Data.SBV.Examples.Puzzles.Sudoku

Modeling Sudoku

type Row

type Board

check

valid

type Puzzle

Solving Sudoku puzzles

sudoku

dispSolution

solveAll

Example boards

puzzle0

puzzle1

puzzle2

puzzle3

puzzle4

puzzle5

puzzle6

allPuzzles