AIMMS is a development environment for building optimization (operations research) based solutions to support business decisions. AIMMS distinguishes itself from other optimization software through its advanced modeling concepts, the full interactive graphical user interface for developers, end-users, and managers, as well as the variety of deployment options.

AMPL is an algebraic modeling language for formulating optimization problem originally developed at Bell Labratories by Robert Fourer, David M. Gay and Brian W. Kernighan. MOSEK ApS is an authorized reseller of AMPL.

The MOSEK Solver takes maximum advantage of the new Polymorphic Spreadsheet Interpreter in Risk Solver Platform and Premium Solver Platform to obtain second partial derivatives of the problem functions (the Hessian matrix) at each major iteration or Trial Solution.  On quadratic and SOCP problems, the Hessian matrices are constant -- once they are obtained, the MOSEK Solver is as lightning-fast on these problems as it is on linear programming problems!

MOSEK can be used from the algebraic modelling language GAMS to solve linear, qudratic, conic, general convex, and mixed integer optimization problems. For details consult the GAMS website. The GAMS/MOSEK package should be purchased directly from GAMS. For pricing and sales information please contact GAMS.

OptiRisk Systems offers an extensive range of software for Optimisation and Risk applications.

Microsoft Solver Foundation is a pure, managed code runtime for mathematical programming, modeling, and optimization. This .NET/CLR based framework provides a rich set of tools, services, and engines to aid companies in their continuous quest for operational efficiency, profit maximization, and risk management.

Remsoft provides asset lifecycle optimization solutions that empower executives to maximize the performance and value of land-based and infrastructure assets. Through advanced analytics, modeling and spatial planning technology, Remsoft simplifies complex, high-variable decisions to fuel long-term sustainability.

Open Solver Interface (Osi) provides an abstract base class to a generic linear programming (LP) solver, along with derived classes for specific solvers. Osi is written in C++ and is released as open source code as part of the COIN-OR initiative.

YALMIP is a language for advanced modeling and solution of convex and nonconvex optimization problems. It is implemented as a free (as in no charge) toolbox for MATLAB. YALMIP focuses on the language and the higher level algorithms, while relying on external solvers such as MOSEK for computation. YALMIP was developed by Johan Lofberg.

ROME is an algebraic modeling language designed to solve a class of robust optimization problems. ROME runs in the MATLAB environment, so that users can take full advantage of the numerical and graphical capabilites of MATLAB for preprocessing and analysis of data.