CPSolver.Examples.Queens (Fixpoint v0.5.7)
Summary
Functions
Link to this function
check_solution(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