DevLabs gets Solver Foundation, a .NET Library for Mathematical Programming

| by Roopesh Shenoy Follow 0 Followers on Apr 29, 2011. Estimated reading time: 1 minute |

Dr. S. Somasegar, Senior VP of Developer Division at Microsoft, recently announced that DevLabs is getting Solver Foundation, a .NET library for mathematical programming, modeling, and optimization.

Solver Foundation uses a declarative programming model consisting of simple building blocks, applying solvers that employ operations research, metaheuristic, and combinatorial optimization techniques. Building a model in Solver Foundation is as easy as specifying the decisions to be made, constraints to be respected, the goals to be used to evaluate candidate solutions, and the historical or projected parameter data to be processed by the model. This can be done from any .NET language without having to worry about the details of solver technologies or search strategies.

Key features of Solver Foundation include:

  • Modeling and solving scenarios by using constraints, goals, and data.
  • Programming in the Optimization Modeling Language (OML), in C# imperatively, in F# functionally, or in any .NET language.
  • Built-in solvers for commonly encountered model types.
  • Integration with popular solvers such as Gurobi, Ziena Knitro, Frontline Solver Platform SDK™,Mosek™, FICO™ Xpress, LINDO, and lp_solve.
  • Interfaces to familiar tools such as Microsoft Office Excel and SharePoint to create and solve models.

The library features extensibility APIs that can allow various third-party solvers to be plugged-in and used. There is also an Excel add-in that allows for data in spreadsheet to be exported to C#.

Some sample applications for the Solver Foundation, according to MSDN, are

  • Real-time supply-chain optimization.
  • Data center energy profile management.
  • Online advertising profit maximization.
  • Logistics of large conference scheduling.
  • Risk analysis of investment portfolios.
  • Graphics and machine learning.
  • Operations research.
  • Business planning.
  • Risk modeling.
  • Decision optimization.

The Solver Foundation comes in various editions, with the Express and Standard editions having limitations on the model sizes. The Express edition is available free of cost, whereas the Standard and the Enterprise editions are not.

Rate this Article

Adoption Stage

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Tell us what you think

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

More context please by Faisal Waris

Hi Roopesh,

It would be nice to get some more context. For example, who had SF before? Why was it handed to DevLabs? Is this good in the sense that there will be better support? Or is it bad in that new functionality may be delayed?



Re: More context please by Roopesh Shenoy

Having the project on DevLabs will give more visibility to the project, versus being a stand-alone project. Since DevLabs is aimed at getting more community feedback, it should definitely help the SF team iterate faster, so should be seen as a positive.

Re: More context please by Roopesh Shenoy

Also on a side-note, more interesting than the event is the project itself. We haven't really covered it before, so this announcement was a good opportunity to bring it out to our readers.

YASS (Yet another Sudoku Solver) with Solver Foundation and F# by Faisal Waris

Anyone interested in getting a quick flavor of Solver Foundation can see this blog post:

Sudoku puzzles are nice, compact problems for showcasing mathematical solvers.

I think the brevity of the code (about 65 lines including comments and spaces) is instructive of F#'s (and OCaml's) expressiveness. Notice that because of strong type inferencing only two type annotations were needed in the entire code (which is all statically type checked).

Re: YASS (Yet another Sudoku Solver) with Solver Foundation and F# by Roopesh Shenoy

Nice, Faisal! And more than half the code is just data formatting. :). Great example of what the solvers can do!

I was hoping they would make SF open source. Sadly, that has not happened, yet.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

5 Discuss

Login to InfoQ to interact with what matters most to you.

Recover your password...


Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.


More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.


Stay up-to-date

Set up your notifications and don't miss out on content that matters to you