uble.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 mdl =
  Model.Default
  |&gt; DecisionVars [x0; x1; x2]
  |&gt; Goal Minimize
  |&gt; Objective  (-3*x0 + x1 + x2)
  |&gt; Constraints [
    x0 + (-2*x1) + x2 &lt;== 11
    (-4*x0) + x1 + (2*x2) &gt;== 3
    (-2*x0) +  (-1*x2) === -1
  ]

let result = SolveWithCustomOptions mdl SolverOptions.Default

match result w