我在python complex 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中制定它?
答案 0 :(得分:0)
我会对2个暗示使用2个约束:p表示q而不是p表示不是q 为了得到q的否定,我会使用
ic_dict [&#34;补充&#34;] = 1
问候