Yes, thanks for pointing that out. I just fixed it in the trunk (I hope). Cheers, Guido
-- Guido Tack http://www.csse.monash.edu/~guidot/ On 16/05/2013, at 3:23 PM, Peter Nightingale <p...@st-andrews.ac.uk> wrote: > Thanks a lot Guido, > > I think maybe Gecode needs to output floats rather than ints, Minizinc seems > to be complaining when parsing solution from Gecode. See output below. > > pn@tamnavulin:~/chrischoi$ fzn-gecode wolf_goat_cabbage.fzn > F = 20; > I = -1; > L = -4.49423e+306; > N = -2; > R = -6.7039e+153; > k = -1; > ---------- > pn@tamnavulin:~/chrischoi$ mzn-gecode wolf_goat_cabbage.mzn > <standard input>:1: > type-inst error: assignment value for `F' has invalid type-inst: expected > `var float', actual `int' > <standard input>:2: > type-inst error: assignment value for `I' has invalid type-inst: expected > `var float', actual `int' > <standard input>:4: > type-inst error: assignment value for `N' has invalid type-inst: expected > `var float', actual `int' > <standard input>:6: > type-inst error: assignment value for `k' has invalid type-inst: expected > `var float', actual `int' > > > > On 16/05/13 01:47, Guido Tack wrote: >> 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
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
