## ams_version=1.0 Model Main_ball_mk4_15 { Variable objvar; Variable i2 { Range: integer; } Variable i3 { Range: integer; } Variable i4 { Range: integer; } Variable i5 { Range: integer; } Variable i6 { Range: integer; } Variable i7 { Range: integer; } Variable i8 { Range: integer; } Variable i9 { Range: integer; } Variable i10 { Range: integer; } Variable i11 { Range: integer; } Variable i12 { Range: integer; } Variable i13 { Range: integer; } Variable i14 { Range: integer; } Variable i15 { Range: integer; } Variable i16 { Range: integer; } Variable i17 { Range: integer; } Variable i18 { Range: integer; } Variable i19 { Range: integer; } Variable i20 { Range: integer; } Variable i21 { Range: integer; } Variable i22 { Range: integer; } Variable i23 { Range: integer; } Variable i24 { Range: integer; } Variable i25 { Range: integer; } Variable i26 { Range: integer; } Variable i27 { Range: integer; } Variable i28 { Range: integer; } Variable i29 { Range: integer; } Variable i30 { Range: integer; } Variable i31 { Range: integer; } Constraint e1 { Definition: { objvar - 29*i2 - 28*i3 - 27*i4 - 26*i5 - 25*i6 - 24*i7 - 23*i8 - 22*i9 - 21*i10 - 20*i11 - 19*i12 - 18*i13 - 17*i14 - 16*i15 - 15*i16 - 14*i17 - 13*i18 - 12*i19 - 11*i20 - 10*i21 - 9*i22 - 8*i23 - 7*i24 - 6*i25 - 5*i26 - 4*i27 - 3*i28 - 2*i29 - i30 - 30*i31 = 0 } } Constraint e2 { Definition: { 100*sqr(i30) - 98*i30 + 100*sqr(i29) - 98*i29 + 100*sqr(i28) - 98*i28 + 100*sqr(i27) - 98*i27 + 100*sqr(i26) - 98*i26 + 100*sqr(i25) - 98*i25 + 100*sqr(i24) - 98*i24 + 100*sqr(i23) - 98*i23 + 100*sqr(i22) - 98*i22 + 100*sqr(i21) - 98*i21 + 100*sqr(i20) - 98*i20 + 100*sqr(i19) - 98*i19 + 100*sqr(i18) - 98*i18 + 100*sqr(i17) - 98*i17 + 100*sqr(i16) - 98*i16 + 100*sqr(i15) - 98*i15 + 100*sqr(i14) - 98*i14 + 100*sqr(i13) - 98*i13 + 100*sqr(i12) - 98*i12 + 100*sqr(i11) - 98*i11 + 100*sqr(i10) - 98*i10 + 100*sqr(i9) - 98*i9 + 100*sqr(i8) - 98*i8 + 100*sqr(i7) - 98*i7 + 100*sqr( i6) - 98*i6 + 100*sqr(i5) - 98*i5 + 100*sqr(i4) - 98*i4 + 100*sqr(i3) - 98 *i3 + 100*sqr(i2) - 98*i2 + 100*sqr(i31) - 98*i31 - 2*i30*i29 - 2*i30*i29 - 2*i28*i27 - 2*i28*i27 - 2*i26*i25 - 2*i26*i25 - 2*i24*i23 - 2*i24*i23 - 2*i22*i21 - 2*i22*i21 - 2*i20*i19 - 2*i20*i19 - 2*i18*i17 - 2*i18*i17 - 2*i16*i15 - 2*i16*i15 - 2*i14*i13 - 2*i14*i13 - 2*i12*i11 - 2*i12*i11 - 2*i10*i9 - 2*i10*i9 - 2*i8*i7 - 2*i8*i7 - 2*i6*i5 - 2*i6*i5 - 2*i4*i3 - 2*i4*i3 - 2*i2*i31 - 2*i2*i31 <= -1 } } Procedure MainInitialization { Body: { i2.lower := -100; i3.lower := -100; i4.lower := -100; i5.lower := -100; i6.lower := -100; i7.lower := -100; i8.lower := -100; i9.lower := -100; i10.lower := -100; i11.lower := -100; i12.lower := -100; i13.lower := -100; i14.lower := -100; i15.lower := -100; i16.lower := -100; i17.lower := -100; i18.lower := -100; i19.lower := -100; i20.lower := -100; i21.lower := -100; i22.lower := -100; i23.lower := -100; i24.lower := -100; i25.lower := -100; i26.lower := -100; i27.lower := -100; i28.lower := -100; i29.lower := -100; i30.lower := -100; i31.lower := -100; } } MathematicalProgram ball_mk4_15 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve ball_mk4_15; } } Procedure MainTermination { Body: { return 1; } } }