partial_latin_square.fzn 1.75 KB