CPSolver.Examples.Sudoku (Fixpoint v0.8.30)

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

Link to this function

check_solution(solution)

Link to this function

model(puzzle)

Link to this function

puzzles()

Link to this function

solve(puzzle, solver_opts \\ [])

Link to this function

solve_and_print(puzzle, opts \\ [])

Link to this function

sudoku_string_to_grid(sudoku_str)