straints in various forms. The first methods solves this in the usual fashion.</p>
</div>
<div class="paragraph">
<p>Minimize
 \$-3x_0 + x_1 + x_2\$</p>
</div>
<div class="paragraph">
<p>subject to
 \$x_0 - 2x_1 + x_2 &lt;= 11\$
 \$-4x_0 + x_1 + 2x_2 &gt;= 3\$
 \$-2x_0 - x_2 = -1\$</p>
</div>
<div class="paragraph">
<p>where \$x_i &gt;= AA i\$</p>
</div>
<div class="listingblock">
<div class="content">
<pre class="highlight"><code class="language-fsharp" data-lang="fsharp">let x0 = Variable.real "x0" 0.0 Do