I have a continuous variable $z, {-1 < z < 1},$ and a binary variable $w$.
How do I write a conditional constraint which guarantees for $z < 0$, $w = 1$,
and for $z \ge 0$, $w = 0$?
I have a continuous variable $z, {-1 < z < 1},$ and a binary variable $w$.
How do I write a conditional constraint which guarantees for $z < 0$, $w = 1$,
and for $z \ge 0$, $w = 0$?