CPSolver.Examples.Queens (Fixpoint v0.8.37)
Summary
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
print_board(queens)
Link to this function
solve(n, solver_opts \\ [])
Link to this function