CPSolver.Examples.Sudoku (Fixpoint v0.8.37)
Summary
Functions
Link to this function
check_solution(solution)
Link to this function
model(puzzle)
Link to this function
print_grid(cells)
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