# Gimuwri is the Gill-Murray-Wrigth equality constrained problem 
# from  their textbook " Practical optimization"
# written in AMPL by Yu-Ju Kuo and Hans D. Mittelmann, 6/2001
param n:=2;
var x{1..n}:=-5;
minimize obj:x[1]*x[2]^2;
s.t. c1: 2-x[1]^2-x[2]^2=0;