## ams_version=1.0 Model Main_st_e23 { Variable x1 { Range: nonnegative; } Variable x2 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: - 6*x1 + 8*x2 <= 3; } Constraint e2 { Definition: 3*x1 - x2 <= 3; } Constraint e3 { Definition: -(x1*x2 - x1 - x2) + objvar = 0; } Procedure MainInitialization { Body: { x1.upper := 5; x2.upper := 5; } } MathematicalProgram st_e23 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve st_e23; } } Procedure MainTermination { Body: { return 1; } } }