[gecode-users] segfault with floating-point vars

[Guido Tack]

Thanks, that was a simple bug in the FlatZinc parser, I just fixed it in the svn.

Cheers,
Guido

On 16/05/2013, at 8:32 AM, Peter Nightingale <pwn1 at st-andrews.ac.uk> wrote:

> Hi,
> 
> I get a segfault with the attached file, through mzn-gecode (with minizinc 1.6 and gecode 4.0.0 compiled from source, on Ubuntu 13.04 64-bit)
> 
> I see you have fixed a segfault for Stefano Gualandi, perhaps this file will also work now?
> 
> Don't worry if this is not an easy fix. The problem is not that important, and organizing CP takes higher priority!
> 
> Peter
> 
> 
> <wolf_goat_cabbage.mzn>_______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users