Génération d'une variable binaire lorsqu'une autre variable est négative

[Lio3103]

Bonjour,

Je suis actuellement en train de concevoir un modèle mathématique qui sera utilisé par un logiciel. Cependant, ce solveur ne résout pas les problèmes d'ordre quadratique (2 variables sont multipliées entre elles dans une contrainte).

Je recherche une astuce pour que A=0 lorsque B>0 et A=1 lorsque B<0

en quadratique, cette contrainte fonctionnerait:
B*(1-2*A)>0

connaissez-vous une astuce pour éviter que les deux variable se multiplient?