## ams_version=1.0 Model Main_ex1223 { Variable x1 { Range: nonnegative; } Variable x2 { Range: nonnegative; } Variable x3 { Range: nonnegative; } Variable x4 { Range: nonnegative; } Variable x5 { Range: nonnegative; } Variable x6 { Range: nonnegative; } Variable x7 { Range: nonnegative; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable objvar; Constraint e1 { Definition: x1 + x2 + x3 + b8 + b9 + b10 <= 5; } Constraint e2 { Definition: sqr(x6) + sqr(x1) + sqr(x2) + sqr(x3) <= 5.5; } Constraint e3 { Definition: x1 + b8 <= 1.2; } Constraint e4 { Definition: x2 + b9 <= 1.8; } Constraint e5 { Definition: x3 + b10 <= 2.5; } Constraint e6 { Definition: x1 + b11 <= 1.2; } Constraint e7 { Definition: sqr(x5) + sqr(x2) <= 1.64; } Constraint e8 { Definition: sqr(x6) + sqr(x3) <= 4.25; } Constraint e9 { Definition: sqr(x5) + sqr(x3) <= 4.64; } Constraint e10 { Definition: x4 - b8 = 0; } Constraint e11 { Definition: x5 - b9 = 0; } Constraint e12 { Definition: x6 - b10 = 0; } Constraint e13 { Definition: x7 - b11 = 0; } Constraint e14 { Definition: { -(sqr((-1) + x4) + sqr((-2) + x5) + sqr((-1) + x6) - log(1 + x7) + sqr((- 1) + x1) + sqr((-2) + x2) + sqr((-3) + x3)) + objvar = 0 } } Procedure MainInitialization { Body: { x1.upper := 10; x2.upper := 10; x3.upper := 10; x4.upper := 1; x5.upper := 1; x6.upper := 1; x7.upper := 1; } } MathematicalProgram ex1223 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve ex1223; } } Procedure MainTermination { Body: { return 1; } } }