## ams_version=1.0 Model Main_st_e08 { Variable x1 { Range: nonnegative; } Variable x2 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: -16*x1*x2 <= -1; } Constraint e2 { Definition: (-4*sqr(x1)) - 4*sqr(x2) <= -1; } Constraint e3 { Definition: - 2*x1 - x2 + objvar = 0; } Procedure MainInitialization { Body: { x1.upper := 1; x2.upper := 1; } } MathematicalProgram st_e08 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve st_e08; } } Procedure MainTermination { Body: { return 1; } } }