Fixpoint v0.14.4

CPSolver.Examples.Sudoku (Fixpoint v0.14.4)

Link to this section Summary

Functions

check_solution(solution)
model(puzzle, opts \\ [])
print_grid(cells)
puzzles()
solve(puzzle, solver_opts \\ [])
solve_and_print(puzzle, opts \\ [])
sudoku_string_to_grid(sudoku_str)

Link to this section Functions

Link to this function

check_solution(solution)

Link to this function

model(puzzle, opts \\ [])

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)