curious_set_of_integers.fzn 5.77 KB