thCustomOptions mdl SolverOptions.Default

match result with
| Solution sol -&gt;
    printfn "Objective: %i" (sol.Objective.toInt)
    printfn "%s: %f" (x.var().Name) (sol.Variables.[x.var().Name])
    printfn "%s: %f" (y.var().Name) (sol.Variables.[y.var().Name])
| Error e -&gt;
    printfn "%A" e</code></pre>
</div>
</div>
</div>
</div>
<div class="sect1">
<h2 id="_non_standard_forms">Non-Standard Forms</h2>
<div class="sectionbody">
<div class="paragraph">
<p>The following is a problem with a set of con