min_index.fzn 5.32 KB