の場合と<-> indicator_constraintsのCPLEXパイソン

Question

は、私はこのような指標を作成するためのpython複雑なAPIのmodel.indicator_constraints.add（** ic_dict）を使用する場合にのみ：

I1：z = 1 -> x1 + x2 + x3 + x4 + x5 == 3

それは含意され、

I1：z = 1 <-> x1 + x2 + x3 + x4 + x5 == 3

どのようにPythonのAPIでこれを定式化するために制約があれば、私は必要ですか？

Answer 1

私は2のための2つの制約を使用するには、意味：pはqと暗示していないpはqは をしませ意味し、私は

ic_dictを使用することになり、Qの否定を取得するには、[ "補完"] 1

=

について