perfect_square_sequence.fzn 4.32 KB