CPLEX - linear programming.
Excel and Quattro Pro Solvers - spreadsheet-based linear, integer and nonlinear programming.
FortMP - linear and mixed integer quadratic programming.
LAMPS - linear and mixed-integer programming.
LINDO Callable Library - linear, mixed-integer and quadratic programming.
LINGO - linear, integer, nonlinear programming with modeling language.
MILP88 - mixed-integer linear programming.
MINTO - mixed-integer linear programming.
MIPIII - mixed integer programming.
MOSEK - linear and nonlinear mixed integer programming.
MPSIII - linear and mixed integer programming (includes OML, WHIZARD, and DATAFORM).
OML - linear and mixed-integer programming.
OSL - linear, quadratic and mixed-integer programming.
PROC LP - linear and integer programming.
Q01SUBS - quadratic programming for matrices.
QAPP - quadratic assignment problems.
What'sBest - linear and mixed integer programming.
WHIZARD - linear and mixed-integer programming.
XPRESS-MP from Dash Associates - linear and integer programming.

Software offering Integer Programming Solvers

AIMMS modeling system
AMPL modeling language
APMonitor modeling language
GAMS - modeling language
LINGO - modeling language
Mosel - modeling language
MPL - modeling system
OPL Studio - optimization language and solver environment.
PLAM - algebraic modeling language for mixed integer programming, constraint logic programming, etc.

Analysis Aids

AIMMS Math Program Inspector - linear & mixed integer programming model analysis and debugger.
MPROBE - an assistant for mathematical programming