&gt; DecisionVars [A; B; C; D]
  |&gt; Goal Minimize
  |&gt; Objective (50*A + 20*B + 30*C + 80*D)
  |&gt; Constraints [
        400*A + 200*B + 150*C + 500*D &gt;== 500;  // calories with minimum required intake
        3*A + 2*B  &gt;== 6; // salt with minimum required intake
        2*A + 2*B + 4*C + 4*D &gt;== 10; // sugar with minimum required intake
        2*A + 4*B + C + 5*D &gt;== 8; // fat with minimum required intake
      ]

let result = Solve mdl

match result with
| Solution sol -&gt;
    prin