SNOPT Solver for Nonlinear Programming
The SNOPT solver is a Nonlinear Programming (NLP) solver. SNOPT is especially effective for nonlinear problems whose functions and gradients are expensive to evaluate. The functions should be smooth, but need not be convex.
SNOPT is highly effective for problems with a nonlinear objective function and large numbers of sparse linear constraints (as well as bounds on the variables).
SNOPT is developed and supported by Philip Gill, Walter Murray and Michael Saunders through Stanford Business Software, Inc.
SNOPT Supported Versions
AIMMS supports SNOPT 6.1 and 7.2.