From NEOS

• ASA - adaptive simulated annealing.
• BARON - global and local optimization solver suite.
• Global Optimization for Mathematica.
• LGO - global and local optimization solver suite.
• MCS - bound constrained global optimization.
• OptiA - unconstrained, constrained, quadratic, minimax, nonsmooth, and global optimization
• OPTECH - All types of global optimization, including constrained and nonlinear problems. Particularly tailored for large constrain ed quadratic least squares.
• OptQuest - global optimization.
• QAPP - quadratic assignment problems.

Software offering Global Optimization Solvers

• AIMMS modeling system
• AMPL modeling language
• GAMS - modeling language
• MPL - modeling system