example-lin.wbo

* #variable= 5 #constraint= 4 #soft= 4 mincost= 2 maxcost= 5 sumcost= 14
soft: 15 ;
[2] 1 x1 +4 x2 -2 x5 >= 2;
[3] -1 x1 +4 x2 -2 x5 >= +3;
[4] 12345678901234567890 x4 +4 x3 >= 10;
[5] 2 x2 +3 x4 +2 x1 +3 x5 = 5;