latin_square.fzn 6.92 KB