## ams_version=1.0 Model Main_ex1222 { Variable x1; Variable x2; Variable b3 { Range: binary; } Variable objvar; Constraint e1 { Definition: -exp((-0.2) + x1) - x2 <= 0; } Constraint e2 { Definition: x2 + 1.1*b3 <= -1; } Constraint e3 { Definition: x1 - 1.2*b3 <= 0; } Constraint e4 { Definition: -5*sqr((-0.5) + x1) + 0.7*b3 + objvar = 0.8; } Procedure MainInitialization { Body: { x1.lower := 0.2; x1.upper := 1; x2.lower := -2.22554; x2.upper := -1; } } MathematicalProgram ex1222 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve ex1222; } } Procedure MainTermination { Body: { return 1; } } }