CPLEX
CPLEX is an optimization software package developed by Ilog. It solves Mixed Integer Linear Programming and very large Linear Programming problems. It has a modeling layer called Concert, but is available with several other modeling packages like AMPL and GAMS.