circling_squares.fzn 2.34 KB