java集复杂约束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)

但它的格式是固定的