BARON

Branch-And-Reduce Optimization Navigator for proven global solutions from The Optimization Firm

BDMLP

LP solver that comes with any GAMS system

CONOPT

Large scale NLP solver from ARKI Consulting and Development

CPLEX

High-performance LP/MIP solver from Ilog

DECIS

Large scale stochastic programming solver from Stanford University

DICOPT

Framework for solving MINLP models. From Carnegie Mellon University

EXAMINER

A tool for examining solution points and assessing their merit

GAMSBAS

A Program for Saving an Advanced Basis for GAMS

GAMSCHK

A System for Examining the Structure and Solution Properties of Linear Programming Problems Solved using GAMS

LGO

Lipschitz global optimizer from Pinter Consulting Services

MILES

MCP solver from University of Colorado at Boulder that comes with any GAMS system

MINOS

NLP solver from Stanford University

MOSEK

Large scale LP/MIP plus conic and convex non-linear programming system from EKA Consulting

MPSGE

Modeling Environment for CGE models from University of Colorado at Boulder

MPSWRITE

MPS file generator that comes with any GAMS System

OQNLP

Multi-start method for global optimization from Optimal Methods Inc.

OSL

High performance LP/MIP solver from IBM

OSLSE

OSL Stochastic Extensions for solving stochastic models

PATH

Large scale MCP solver from University of Wisconsin at Madison

SBB

Branch-and-Bound algorithm from ARKI for solving MINLP models

SCENRED

A tool for the reduction of scenarios modeling the random data processes

SNOPT

Large scale SQP based NLP solver from Stanford University

XA

Large scale LP/MIP system from Sunset Software

XPRESS

High performance LP/MIP solver from Dash