raven_puzzle.fzn 2.64 KB