IF THEN CONSTRAINTS
<p>I have the next two if-then constraints</p>

<p>1.- IF x1+y2-n >= 0 THEN m2=0, ELSE m2=1</p>

<p>Where x1, x2 are discrete,  n is a constant and m2 is a binary variable.</p>

<ol start="2">
<li>IF 2x1 - y1 >= 0 THEN m1=0, ELSE m1=1</li>
</ol>

<p>Where m1 is a binary variable.</p>

<p>How transform this constraints into normal constraints .</p>