pseudo-boolean-0.1.0.0: test/samples/example1.wbo

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