minesweeper_german_Lakshtanov.fzn 8.28 KB