least_diff.fzn 1.71 KB