[MinisatID] OPB parser error

[Bart Bogaerts]

In the pseudo-boolean input, there is apparently a bug in the parser provided by the competition itself (which minisatid uses directly): it only parses correctly if there is a least a second comment after the initial line with number of variables and constraints, otherwise, it does not parse the first constraint but does not fail either (so in fact, the minimization statement was never read). I did not yet check whether this is a bug or part of the input format specification of pbeval, but I expect the former. I will include a fix for this in the next release (and notify the pbeval maintainer), but in the mean-time, you can just add a line with a single * character as the second line in your file.