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

soft: 6 ;
[2] +1 x1 >= 1 ;
[3] -1 x1 >= 0 ;