pseudo-boolean-0.1.3.0: test/samples/example1-nospaces.wbo

* #variable= 1 #constraint= 2 #soft= 2 mincost= 2 maxcost= 3 sumcost= 5
soft:6;
[2]+1 x1>=1;
[3]-1 x1>=0;