Fixpoint
v0.10.2
Pages
Modules
Search documentation of Fixpoint
Settings
CPSolver.Examples.Sudoku
(Fixpoint v0.10.2)
Summary
Functions
check_solution(solution)
model(puzzle)
print_grid(cells)
puzzles()
solve(puzzle, solver_opts \\ [])
solve_and_print(puzzle, opts \\ [])
sudoku_string_to_grid(sudoku_str)
Functions
check_solution(solution)
model(puzzle)
print_grid(cells)
puzzles()
solve(puzzle, solver_opts \\ [])
solve_and_print(puzzle, opts \\ [])
sudoku_string_to_grid(sudoku_str)