Fixpoint
v0.11.4
Search documentation of Fixpoint
Settings
CPSolver.Examples.Queens
(Fixpoint v0.11.4)
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])
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])