minizinc中var浮点决策变量数组的不相等约束

Question

我有一个模型，它需要约束var浮动数组的每个元素都是不同的

我尝试使用全局所有不同的全局约束，但得到以下错误：

MiniZinc: type error: no function or predicate with this signature found: `alldifferent(array[int] of var float)'

所以我用下面的理解替换了所有不同的约束：

constraint forall (i,j in 1..nVERTICIES where i<j) (X[i] != X[j]);

但是现在当我使用地理编码解算器时，我得到了以下错误：

Error: Registry: Constraint float_lin_ne not found

以及使用G12 MIP解算器时出现的以下错误：

flatzinc: error: the built-in operation `float_lin_ne/3' is not supported by the MIP solver backend.

有没有其他方法可以对这个约束进行编码？