Si et seulement si <-> indicator_constraints CPLEX python

Question

J'utilise model.indicator_constraints.add (** ic_dict) en python api complexe pour créer indicateur comme celui-ci:

i1: z = 1 -> x1 + x2 + x3 + x4 + x5 == 3

Il est implicitement, mais j'ai besoin si la contrainte:

i1: z = 1 <-> x1 + x2 + x3 + x4 + x5 == 3

Comment formuler cela en api python?

Answer 1

j'utiliser 2 contraintes pour la 2 implique: p implique q et non p implique pas q Et pour obtenir la négation de q j'utiliser

ic_dict [ "complémentée"] = 1

concerne