[gecode-users] segfault with floating-point vars

[Peter Nightingale]

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


-------------- next part --------------

var float: F;
var float: R;
var float: N;
var float: I;
var float: L;
var float: k;

constraint F=(R*R*N*N*I*I*k)/(2.0*L);

constraint F=20.0;

solve satisfy;

output [
        "F   : ", show(F),    "\n",
        "R   : ", show(R),    "\n",
        "N   : ", show(N),    "\n",
        "I   : ", show(I),    "\n",
        "L   : ", show(L),    "\n",
        "k   : ", show(k),    "\n"
];

%-----------------------------------------------------------------------------%
%-----------------------------------------------------------------------------%