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.
Community comments
More context please
by Faisal Waris,
Re: More context please
by Roopesh Shenoy,
Re: More context please
by Roopesh Shenoy,
YASS (Yet another Sudoku Solver) with Solver Foundation and F#
by Faisal Waris,
Re: YASS (Yet another Sudoku Solver) with Solver Foundation and F#
by Roopesh Shenoy,
More context please
by Faisal Waris,
Your message is awaiting moderation. Thank you for participating in the discussion.
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?
Regards,
Faisal
Re: More context please
by Roopesh Shenoy,
Your message is awaiting moderation. Thank you for participating in the discussion.
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,
Your message is awaiting moderation. Thank you for participating in the discussion.
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,
Your message is awaiting moderation. Thank you for participating in the discussion.
Anyone interested in getting a quick flavor of Solver Foundation can see this blog post:
fwaris.wordpress.com/2011/04/29/solving-sudoku-...
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,
Your message is awaiting moderation. Thank you for participating in the discussion.
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.