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