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 <p...@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@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
