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 posts the constraint z = x*y.
Thanks for that information.
I really tried to read flatzinc documentation, read gecode documentation
and google to find what was supported in fzn-gecode but could not find
float_times.
E.g:
https://www.minizinc.org/downloads/doc-1.3/flatzinc-spec.pdf
does not mention it.
So where should I look to find a complete list of supported predicates?
/Tommy Persson
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
