contains_array.fzn 1.72 KB