Somehow I don't get it right.
I would like to model the following conditional:
If $A\le B$ then $Y=1$ otherwise $Y=0$
where $A, B$ are reals and $Y$ is binary.
I can model as follows:
$Y \cdot A \le B$ and linearise this, but then I get into trouble when $A = 0$;
In this case $Y$ can be anything but I want it to be $1$.