## ams_version=1.0 Model Main_st_e40 { Variable i1 { Range: integer; } Variable i2 { Range: integer; } Variable i3 { Range: integer; } Variable x4; Variable objvar; Constraint e1 { Definition: (-0.15*i1*i2) - 0.14142135*i2*i3 - 0.1319*i1*i3 + x4 = 0; } Constraint e2 { Definition: 1.7317*i2 + 1.03366*i3 - x4 <= 0; } Constraint e3 { Definition: 0.634*i1 + 2.828*i3 - x4 <= 0; } Constraint e4 { Definition: 0.5*i1 - 2*i2 - x4 <= 0; } Constraint e5 { Definition: - 0.5*i1 + 2*i2 - x4 <= 0; } Constraint e6 { Definition: { (-1 + i1)*(-2 + i1)*(-3 + i1)*(-5 + i1)*(-8 + i1)*(-10 + i1)*(-12 + i1) = 0 } } Constraint e7 { Definition: { (-1 + i2)*(-2 + i2)*(-3 + i2)*(-5 + i2)*(-8 + i2)*(-10 + i2)*(-12 + i2) = 0 } } Constraint e8 { Definition: { (-1 + i3)*(-2 + i3)*(-3 + i3)*(-5 + i3)*(-8 + i3)*(-10 + i3)*(-12 + i3) = 0 } } Constraint e9 { Definition: - 2*i1 - i2 - 1.4142135*i3 + objvar = 0; } Procedure MainInitialization { Body: { i1.lower := 1; i1.upper := 12; i2.lower := 1; i2.upper := 12; i3.lower := 1; i3.upper := 12; } } MathematicalProgram st_e40 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve st_e40; } } Procedure MainTermination { Body: { return 1; } } }