设置复杂约束 - Choco

Question

我有这种格式的约束：

(1 + x*y/z*m)*(2/x*y) - 10 = 0

如何添加此约束？

IntConstraintFactory 类提供了一个名为 arithm 的方法来添加更简单的约束，如下所示：

//x + y > 10
IntVar x = VariableFactory.bounded("X", 0, 5, solver);
IntVar y = VariableFactory.bounded("Y", 0, 5, solver);
IntConstraintFactory.arithm(x,"+",y,">",10)

但它的格式是固定的。