CPSolver.Examples.Sudoku (Fixpoint v0.5.5)

Summary

Functions

Link to this function

check_solution(solution)

Link to this function

solve(puzzle, solver_opts \\ [])

Link to this function

solve_and_print(puzzle, timeout \\ 5000)

Link to this function

sudoku_string_to_grid(sudoku_str)