divisible_by_7.fzn 4.07 KB