A query expression for optimization domain, using Microsoft SolverFoundation and F#