snopt7/ampl/solvers
