consecutive_digits.fzn 4.7 KB