[SCIP] Bug in zimpl 3.3.3

Ambros Gleixner gleixner at zib.de
Tue May 9 18:17:43 CEST 2017


Hi Uwe,

Thanks for the bug report, we will take care of it.

Best,
Ambros


Am 08.05.2017 um 17:54 schrieb 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
> 
>  
> 
>  
> 
>  
> 
>  
> 
> 
> 
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip
> 

-- 
Ambros Gleixner, Zuse Institute Berlin, http://www.zib.de/gleixner


More information about the Scip mailing list