[SCIP] Bug in zimpl 3.3.3

[Gotzes, Uwe Dr.]

Hi there,

I think, I found a bug in zimpl. It is possible to define multiple objectives in one zimpl-file. Zimpl simply adds the objectives (some may call it a feature). But: The signs of the coefficients are definitely not treated correctly.

Example:
\ This file was automatically generated by Zimpl
\ var a;
\ var b;
\ maximize A: a;
\ minimize B: b;
\ maximize C: a+b;
\Problem name: zimpl_bug.zpl
Maximize
C:  +2 a +2 b
Subject to
Bounds
0 <= a <= +inf
0 <= b <= +inf
End

Best
Uwe




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20170508/ef47e947/attachment.html>