minesweeper_inverse.fzn 4.54 KB