FlatZin文件中的“float\u div”和“float\u times”约束是什么?

mzn2fzn 在以下方面 锌矿 文件:

var float: x1;
var float: y1;
var float: x2;
var float: y2;
constraint (x1 / y1) = 6.0;
constraint x2 * y2 <= 5.0;
solve satisfy;

这就是结果 文件:

var -1.7976931348623157e+308..5.0: FLOAT____00001 :: is_defined_var :: var_is_introduced;
var float: x1;
var float: x2;
var float: y1;
var float: y2;
constraint float_div(x1, y1, 6.0);
constraint float_times(x2, y2, FLOAT____00001) :: defines_var(FLOAT____00001);
solve satisfy;

详情如下:

~$ mzn2fzn --version
G12 MiniZinc to FlatZinc converter, version 1.6.0
Copyright (C) 2006-2012 The University of Melbourne and NICTA

我有以下问题:

• 问题是什么 float_div 约束,该约束似乎未被 FlatZinc 1.6 Standard ?
• float_times 扁平锌1.6标准 ?

有吗 你真的支持他们吗?

请注意 我在 docs for FlatZinc 2.2.0 但是,我不明白为什么这些是由的1.6版生成的 当它的文档似乎没有提到其中任何一个时。