# Specllucci's example involving minimization
# written in AMPL by Yu-Ju Kuo and Hans D. Mittelmann, 6/2001
var x1:=10;
var x2:=-1;
param pi2:=4*atan(1)/2;
minimize obj: 10*x1+x2;
s.t. g1:x2-0.5*sin(pi2*x1)*x1>=0;
s.t. g2:0.667*x1*(sin(pi2*x1)+0.3)-x2>=0;