\ nedenstående er en ufuldstændig ramme til løsning af opgave 10
\ xij angiver om der er en mine på position (i,j)
\ yij angiver antallet af miner omkring position (i,j)
\ bemærk at hvis et felt er afdækket kan der ikke være en mine på
\ den pågældende position.

\ ????1
\ *??3?
\ ?6???
\ ???43
\ ???2*

maximize
+x11+x12+x13+x14+x15
+x21+x22+x23+x24+x25
+x31+x32+x33+x34+x35
+x41+x42+x43+x44+x45
+x51+x52+x53+x54+x55

subject to
x11+x12+x21+x22-y11<=0
-x11-x12-x21-x22+y11<=0
x11+x12+x13+x21+x22+x23-y12<=0
-x11-x12-x13-x21-x22-x23+y12<=0
x12+x13+x14+x22+x23+x24-y13<=0
-x12-x13-x14-x22-x23-x24+y13<=0
x13+x14+x15+x23+x24+x25-y14<=0
-x13-x14-x15-x23-x24-x25+y14<=0
x14+x15+x24+x25-y15<=0
-x14-x15-x24-x25+y15<=0
x11+x12+x21+x22+x31+x32-y21<=0
-x11-x12-x21-x22-x31-x32+y21<=0
x11+x12+x13+x21+x22+x23+x31+x32+x33-y22<=0
-x11-x12-x13-x21-x22-x23-x31-x32-x33+y22<=0
x12+x13+x14+x22+x23+x24+x32+x33+x34-y23<=0
-x12-x13-x14-x22-x23-x24-x32-x33-x34+y23<=0
x13+x14+x15+x23+x24+x25+x33+x34+x35-y24<=0
-x13-x14-x15-x23-x24-x25-x33-x34-x35+y24<=0
x14+x15+x24+x25+x34+x35-y25<=0
-x14-x15-x24-x25-x34-x35+y25<=0
x21+x22+x31+x32+x41+x42-y31<=0
-x21-x22-x31-x32-x41-x42+y31<=0
x21+x22+x23+x31+x32+x33+x41+x42+x43-y32<=0
-x21-x22-x23-x31-x32-x33-x41-x42-x43+y32<=0
x22+x23+x24+x32+x33+x34+x42+x43+x44-y33<=0
-x22-x23-x24-x32-x33-x34-x42-x43-x44+y33<=0
x23+x24+x25+x33+x34+x35+x43+x44+x45-y34<=0
-x23-x24-x25-x33-x34-x35-x43-x44-x45+y34<=0
x24+x25+x34+x35+x44+x45-y35<=0
-x24-x25-x34-x35-x44-x45+y35<=0
x31+x32+x41+x42+x51+x52-y41<=0
-x31-x32-x41-x42-x51-x52+y41<=0
x31+x32+x33+x41+x42+x43+x51+x52+x53-y42<=0
-x31-x32-x33-x41-x42-x43-x51-x52-x53+y42<=0
x32+x33+x34+x42+x43+x44+x52+x53+x54-y43<=0
-x32-x33-x34-x42-x43-x44-x52-x53-x54+y43<=0
x33+x34+x35+x43+x44+x45+x53+x54+x55-y44<=0
-x33-x34-x35-x43-x44-x45-x53-x54-x55+y44<=0
x34+x35+x44+x45+x54+x55-y45<=0
-x34-x35-x44-x45-x54-x55+y45<=0
x41+x42+x51+x52-y51<=0
-x41-x42-x51-x52+y51<=0
x41+x42+x43+x51+x52+x53-y52<=0
-x41-x42-x43-x51-x52-x53+y52<=0
x42+x43+x44+x52+x53+x54-y53<=0
-x42-x43-x44-x52-x53-x54+y53<=0
x43+x44+x45+x53+x54+x55-y54<=0
-x43-x44-x45-x53-x54-x55+y54<=0
x44+x45+x54+x55-y55<=0
-x44-x45-x54-x55+y55<=0

\ her skal der indføjes flere uligheder

 x11<=1
 x12<=1
 x13<=1
 x14<=1
 x15<=1
 x21<=1
 x22<=1
 x23<=1
 x24<=1
 x25<=1
 x31<=1
 x32<=1
 x33<=1
 x34<=1
 x35<=1
 x41<=1
 x42<=1
 x43<=1
 x44<=1
 x45<=1
 x51<=1
 x52<=1
 x53<=1
 x54<=1
 x55<=1
end