Stanford
MS&E
Systems Optimization Laboratory

Systems Using SOL

Systems Using SOL Optimization Software

For many optimization applications, we recommend the use of high-level systems such as the following. They provide a convenient interface to MINOS, SNOPT, NPSOL and many other linear, integer and nonlinear solvers, and they extend the range of problem types that can be solved by traditional local optimizers.


  • GAMS (GAMS Development Corporation)
    Algebraic modeling language: LP, NLP, MIP, MILP, MINLP, LCP, MCP, CNS.

  • AMPL (originally developed at Bell Laboratories)
    Interactive algebraic modeling language: LP, NLP, MIP, MILP, MINLP.

  • AIMMS (Paragon Decision Technology)
    Interactive algebraic modeling language: LP, NLP, MIP, MILP, MINLP.

  • TOMLAB (Kenneth Holmström, TOMLAB Optimization AB, Sweden)
    MATLAB interface to SOL solvers and many others.

  • TOMNET (Kenneth Holmström, TOMLAB Optimization AB, Sweden)
    An optimization environment for the solution of problems in .NET.

Other systems that make use of SOL optimization software follow.
See also UCSD/Stanford Optimization Software.


  • BARON (Dept of Chemical Engineering, University of Illinois at Urbana-Champaign)
    Global optimization (linear and nonlinear), concave programming, fractional programming, factorable programming, MILP, MIQP, etc.

  • COMSOL Multiphysics (Optimization Module)
    Constrained optimization (linear, quadratic, nonlinear).

  • DECIS (Infanger Investment Technology, LLC)
    Large-scale stochastic programming.

  • GPOPS-II
    General-purpose optimal control software.

  • MINOPT (Dept of Chemical Engineering, Princeton University)
    Process design, optimal control, etc.: LP, NLP, NLP/DAE, MIP, MILP, MINLP, OCP, MIOCP.

  • NASA Evolutionary Mission Trajectory Generator (EMTG) (Goddard Space Flight Center)
    An automated tool for the preliminary design of interplanetary space trajectories.

  • NEOS server (Network-Enabled Optimization System)
    Free internet-based service for solving optimization problems.

  • PROPT (Tomlab Optimization Inc.)
    MATLAB Optimal Control Software: Multi-phase optimal control problems. MAD is used for floating-point precision derivatives.

  • Virtual Soldier project (DARPA)
    Medical diagnosis of soldiers on and off the battlefield.