Apps.Sudoku.Validator
Contents
Definitions
import Apps.Sudoku.Grid open public
square? {A : Type} : List (List A) -> BoolSource#
Check that the number of rows equals the number of columns
noDuplicates? : List Nat -> BoolSource#
Check that there are no duplicate filled entries
validSubGrid? : SubGrid -> BoolSource#
Check that a subgrid satisfies the Sudoku constraints
completeSubGrid? (sg : SubGrid) : BoolSource#
Check that a subgrid is complete. i.e it satisfies the Sudoku constraints and all of its entries are filled
validGrid? : Grid -> BoolSource#
Check that a grid satisfies the Sudoku constraints
completeGrid? (g : Grid) : BoolSource#
Check that a grid is complete. i.e it satisfies the Sudoku constraints and all of its entries are filled
