gardner_sum_square.fzn 3.05 KB