shortest_path1.fzn 8.7 KB