pseudo-boolean-0.1.10.0: test/samples/invalid-obj-empty-sum.opb
* #variable= 0 #constraint= 0 * This is invalid according to the grammer of http://www.cril.univ-artois.fr/PB11/format.pdf , * but we relax the grammar to allow it. min: ;
* #variable= 0 #constraint= 0 * This is invalid according to the grammer of http://www.cril.univ-artois.fr/PB11/format.pdf , * but we relax the grammar to allow it. min: ;