all_min_dist.fzn 4.03 KB