## ams_version=1.0 Model Main_spring { Variable x1; Variable x2; Variable x3; Variable i4 { Range: integer; } Variable x5; Variable x6; Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable objvar; Constraint e1 { Definition: -(1.570796327 + 0.7853981635*i4)*x1*sqr(x2) + objvar = 0; } Constraint e2 { Definition: -x1/x2 + x5 = 0; } Constraint e3 { Definition: -((-1 + 4*x5)/(-4 + 4*x5) + 0.615/x5) + x6 = 0; } Constraint e4 { Definition: 2546.47908913782*x6*x5/sqr(x2) <= 189000; } Constraint e5 { Definition: -6.95652173913044e-7*x5**3*i4/x2 + x3 = 0; } Constraint e6 { Definition: (2.1 + 1.05*i4)*x2 + 1000*x3 <= 14; } Constraint e7 { Definition: x1 + x2 <= 3; } Constraint e8 { Definition: { x2 - 0.207*b7 - 0.225*b8 - 0.244*b9 - 0.263*b10 - 0.283*b11 - 0.307*b12 - 0.331*b13 - 0.362*b14 - 0.394*b15 - 0.4375*b16 - 0.5*b17 = 0 } } Constraint e9 { Definition: b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 = 1; } Procedure MainInitialization { Body: { x1.lower := 0.414; x2.lower := 0.207; x3.lower := 0.00178571428571429; x3.upper := 0.02; i4.lower := 1; i4.upper := 100; x5.lower := 1.1; } } MathematicalProgram spring { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve spring; } } Procedure MainTermination { Body: { return 1; } } }