snopt7/ampl/solvers/snopt
