snopt7/ampl/examples
