checker_puzzle.fzn 1.3 KB