toysolver-0.3.0: samples/pbs/normalized-1096.cudf.paranoid.opb
* #variable= 1 #constraint= 1 **************************************** * begin normalizer comments * category= DEC-SMALLINT-LIN * end normalizer comments **************************************** +1 x1 >= 1 ;