successive_number_problem.fzn 1.1 KB