snopt7/ampl/solvers/nlc
