hem and add to decision variables so that they can be included in final result. This time we enter the problem in matrix form.</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 Double.PositiveInfinity |&gt; toExpression
let x1 = Variable.real "x1" 0.0 Double.PositiveInfinity |&gt; toExpression
let x2 = Variable.real "x2" 0.0 Double.PositiveInfinity |&gt; toExpression

let s0 = Variable.real "s0"