CPSolver.Examples.Queens (Fixpoint v0.3.2)
Summary
Functions
Link to this function
check_solution(queens)
Link to this function
print_board(queens)
Link to this function
solve(n, solver_opts \\ [])
Link to this function