|
Thanks a lot Guido, that works fine
now.
I'm impressed that you took the plunge and implemented floating
point propagators.
Pete
On 21/05/13 18:51, Guido Tack wrote:
Yes, thanks for pointing that out. I just fixed it in the trunk
(I hope).
Cheers,
Guido
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
