Error in method toString() of OPBStringSolver for negative literals
When adding a constraint with negative literals to an OPBStringSolver , its method toString() generates a opb file with unexpected indices for these negative literals. More precisely, instead of generating -1 x1 +1 x2 as it could be expected in the attached example, it generates +1 x-1 +1 x2.