enclosed_tiles.fzn 12.4 KB