snopt7/ampl/snopt
