ESSENCE' 1.0
$ Problem from Gecode/examples/minesweeper.cc  problem 2
param r be 10
param c be 10
param game be [
      [1,-1,-1,2,-1,2,-1,2,-1,-1],
      [-1,3,2,-1,-1,-1,4,-1,-1,1],
      [-1,-1,-1,1,3,-1,-1,-1,4,-1],
      [3,-1,1,-1,-1,-1,3,-1,-1,-1],
      [-1,2,1,-1,1,-1,-1,3,-1,2],
      [-1,3,-1,2,-1,-1,2,-1,1,-1],
      [2,-1,-1,3,2,-1,-1,2,-1,-1],
      [-1,3,-1,-1,-1,3,2,-1,-1,3],
      [-1,-1,3,-1,3,3,-1,-1,-1,-1],
      [-1,2,-1,2,-1,-1,-1,2,2,-1]
      ]