## ams_version=1.0 Model Main_ex1226 { Variable x1; Variable x2; Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable objvar; Constraint e1 { Definition: 8*x1 - 2*x1**0.5*sqr(x2) + 11*x2 + 2*sqr(x2) - 2*x2**0.5 <= 39; } Constraint e2 { Definition: x1 - x2 <= 3; } Constraint e3 { Definition: 3*x1 + 2*x2 <= 24; } Constraint e4 { Definition: x2 - b3 - 2*b4 - 4*b5 = 1; } Constraint e5 { Definition: b4 + b5 <= 1; } Constraint e6 { Definition: 5*x1 - 3*x2 + objvar = 0; } Procedure MainInitialization { Body: { x1.lower := 1; x1.upper := 10; x2.lower := 1; x2.upper := 6; } } MathematicalProgram ex1226 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve ex1226; } } Procedure MainTermination { Body: { return 1; } } }