Fixpoint v0.14.4

CPSolver.Examples.Queens (Fixpoint v0.14.4)

Link to this section Summary

Functions

check_solution(queens)
inside_out_order(n)
inside_out_to_normal(queens)
model(n, symmetry_breaking_mode \\ nil)
print_board(queens)
solve(n, solver_opts \\ [])
solve_and_print(nqueens, opts \\ [timeout: 1000])

Link to this section Functions

Link to this function

check_solution(queens)

Link to this function

inside_out_order(n)

Link to this function

inside_out_to_normal(queens)

Link to this function

model(n, symmetry_breaking_mode \\ nil)

Link to this function

solve(n, solver_opts \\ [])

Link to this function

solve_and_print(nqueens, opts \\ [timeout: 1000])