On 2014-09-17 01:48, Guido Tack wrote:
The constraint float_lin_eq is a linear constraint, i.e. you can't
use it to multiply to float variables. You have to use float_times
instead, which has the following signature:
predicate float_times(var float: x, var float: y, var float: z)
and which pos
The constraint float_lin_eq is a linear constraint, i.e. you can't use it to
multiply to float variables. You have to use float_times instead, which has
the following signature:
predicate float_times(var float: x, var float: y, var float: z)
and which posts the constraint z = x*y.
Cheers,
Gui
Is float_lin_eq supposed to work with fzn-gecode?
I have tried a lot of varaints to get it to parse but have not found
anything that works. My problem is:
/opt/gecode-4.3.0/bin/fzn-gecode camera.fzn
Error: Type error: float literal expected
And the camera.fzn is:
float: hfov = 0.7;
float:
