latin_square_card_puzzle.fzn 8.6 KB