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)

しかし、その形式は固定されています。