set_covering3.fzn 1.02 KB