min_nvalue.fzn 6.61 KB