## ams_version=1.0 Model Main_tln7 { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } 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; } Variable i32 { Range: integer; } Variable i33 { Range: integer; } Variable i34 { Range: integer; } Variable i35 { Range: integer; } Variable i36 { Range: integer; } Variable i37 { Range: integer; } Variable i38 { Range: integer; } Variable i39 { Range: integer; } Variable i40 { Range: integer; } Variable i41 { Range: integer; } Variable i42 { Range: integer; } Variable i43 { Range: integer; } Variable i44 { Range: integer; } Variable i45 { Range: integer; } Variable i46 { Range: integer; } Variable i47 { Range: integer; } Variable i48 { Range: integer; } Variable i49 { Range: integer; } Variable i50 { Range: integer; } Variable i51 { Range: integer; } Variable i52 { Range: integer; } Variable i53 { Range: integer; } Variable i54 { Range: integer; } Variable i55 { Range: integer; } Variable i56 { Range: integer; } Variable i57 { Range: integer; } Variable i58 { Range: integer; } Variable i59 { Range: integer; } Variable i60 { Range: integer; } Variable i61 { Range: integer; } Variable i62 { Range: integer; } Variable i63 { Range: integer; } Variable objvar; Constraint e1 { Definition: { - 0.1*b1 - 0.2*b2 - 0.3*b3 - 0.4*b4 - 0.5*b5 - 0.6*b6 - 0.7*b7 - i8 - i9 - i10 - i11 - i12 - i13 - i14 + objvar = 0 } } Constraint e2 { Definition: { 550*i15 + 630*i22 + 685*i29 + 720*i36 + 760*i43 + 810*i50 + 850*i57 <= 3400 } } Constraint e3 { Definition: { 550*i16 + 630*i23 + 685*i30 + 720*i37 + 760*i44 + 810*i51 + 850*i58 <= 3400 } } Constraint e4 { Definition: { 550*i17 + 630*i24 + 685*i31 + 720*i38 + 760*i45 + 810*i52 + 850*i59 <= 3400 } } Constraint e5 { Definition: { 550*i18 + 630*i25 + 685*i32 + 720*i39 + 760*i46 + 810*i53 + 850*i60 <= 3400 } } Constraint e6 { Definition: { 550*i19 + 630*i26 + 685*i33 + 720*i40 + 760*i47 + 810*i54 + 850*i61 <= 3400 } } Constraint e7 { Definition: { 550*i20 + 630*i27 + 685*i34 + 720*i41 + 760*i48 + 810*i55 + 850*i62 <= 3400 } } Constraint e8 { Definition: { 550*i21 + 630*i28 + 685*i35 + 720*i42 + 760*i49 + 810*i56 + 850*i63 <= 3400 } } Constraint e9 { Definition: { - 550*i15 - 630*i22 - 685*i29 - 720*i36 - 760*i43 - 810*i50 - 850*i57 <= -3200 } } Constraint e10 { Definition: { - 550*i16 - 630*i23 - 685*i30 - 720*i37 - 760*i44 - 810*i51 - 850*i58 <= -3200 } } Constraint e11 { Definition: { - 550*i17 - 630*i24 - 685*i31 - 720*i38 - 760*i45 - 810*i52 - 850*i59 <= -3200 } } Constraint e12 { Definition: { - 550*i18 - 630*i25 - 685*i32 - 720*i39 - 760*i46 - 810*i53 - 850*i60 <= -3200 } } Constraint e13 { Definition: { - 550*i19 - 630*i26 - 685*i33 - 720*i40 - 760*i47 - 810*i54 - 850*i61 <= -3200 } } Constraint e14 { Definition: { - 550*i20 - 630*i27 - 685*i34 - 720*i41 - 760*i48 - 810*i55 - 850*i62 <= -3200 } } Constraint e15 { Definition: { - 550*i21 - 630*i28 - 685*i35 - 720*i42 - 760*i49 - 810*i56 - 850*i63 <= -3200 } } Constraint e16 { Definition: i15 + i22 + i29 + i36 + i43 + i50 + i57 <= 6; } Constraint e17 { Definition: i16 + i23 + i30 + i37 + i44 + i51 + i58 <= 6; } Constraint e18 { Definition: i17 + i24 + i31 + i38 + i45 + i52 + i59 <= 6; } Constraint e19 { Definition: i18 + i25 + i32 + i39 + i46 + i53 + i60 <= 6; } Constraint e20 { Definition: i19 + i26 + i33 + i40 + i47 + i54 + i61 <= 6; } Constraint e21 { Definition: i20 + i27 + i34 + i41 + i48 + i55 + i62 <= 6; } Constraint e22 { Definition: i21 + i28 + i35 + i42 + i49 + i56 + i63 <= 6; } Constraint e23 { Definition: b1 - i8 <= 0; } Constraint e24 { Definition: b2 - i9 <= 0; } Constraint e25 { Definition: b3 - i10 <= 0; } Constraint e26 { Definition: b4 - i11 <= 0; } Constraint e27 { Definition: b5 - i12 <= 0; } Constraint e28 { Definition: b6 - i13 <= 0; } Constraint e29 { Definition: b7 - i14 <= 0; } Constraint e30 { Definition: - 15*b1 + i8 <= 0; } Constraint e31 { Definition: - 15*b2 + i9 <= 0; } Constraint e32 { Definition: - 15*b3 + i10 <= 0; } Constraint e33 { Definition: - 15*b4 + i11 <= 0; } Constraint e34 { Definition: - 15*b5 + i12 <= 0; } Constraint e35 { Definition: - 15*b6 + i13 <= 0; } Constraint e36 { Definition: - 15*b7 + i14 <= 0; } Constraint e37 { Definition: { -(i8*i15 + i9*i16 + i10*i17 + i11*i18 + i12*i19 + i13*i20 + i14*i21) <= -8 } } Constraint e38 { Definition: { -(i8*i22 + i9*i23 + i10*i24 + i11*i25 + i12*i26 + i13*i27 + i14*i28) <= -11 } } Constraint e39 { Definition: { -(i8*i29 + i9*i30 + i10*i31 + i11*i32 + i12*i33 + i13*i34 + i14*i35) <= -15 } } Constraint e40 { Definition: { -(i8*i36 + i9*i37 + i10*i38 + i11*i39 + i12*i40 + i13*i41 + i14*i42) <= -5 } } Constraint e41 { Definition: { -(i8*i43 + i9*i44 + i10*i45 + i11*i46 + i12*i47 + i13*i48 + i14*i49) <= -8 } } Constraint e42 { Definition: { -(i8*i50 + i9*i51 + i10*i52 + i11*i53 + i12*i54 + i13*i55 + i14*i56) <= -12 } } Constraint e43 { Definition: { -(i8*i57 + i9*i58 + i10*i59 + i11*i60 + i12*i61 + i13*i62 + i14*i63) <= -6 } } Procedure MainInitialization { Body: { i8.upper := 15; i9.upper := 15; i10.upper := 15; i11.upper := 15; i12.upper := 15; i13.upper := 15; i14.upper := 15; i15.upper := 6; i16.upper := 6; i17.upper := 6; i18.upper := 6; i19.upper := 6; i20.upper := 6; i21.upper := 6; i22.upper := 6; i23.upper := 6; i24.upper := 6; i25.upper := 6; i26.upper := 6; i27.upper := 6; i28.upper := 6; i29.upper := 6; i30.upper := 6; i31.upper := 6; i32.upper := 6; i33.upper := 6; i34.upper := 6; i35.upper := 6; i36.upper := 6; i37.upper := 6; i38.upper := 6; i39.upper := 6; i40.upper := 6; i41.upper := 6; i42.upper := 6; i43.upper := 6; i44.upper := 6; i45.upper := 6; i46.upper := 6; i47.upper := 6; i48.upper := 6; i49.upper := 6; i50.upper := 6; i51.upper := 6; i52.upper := 6; i53.upper := 6; i54.upper := 6; i55.upper := 6; i56.upper := 6; i57.upper := 6; i58.upper := 6; i59.upper := 6; i60.upper := 6; i61.upper := 6; i62.upper := 6; i63.upper := 6; i8.l := 1; i9.l := 1; i10.l := 1; i11.l := 1; i12.l := 1; i13.l := 1; i14.l := 1; i15.l := 1; i16.l := 1; i17.l := 1; i18.l := 1; i19.l := 1; i20.l := 1; i21.l := 1; i22.l := 1; i23.l := 1; i24.l := 1; i25.l := 1; i26.l := 1; i27.l := 1; i28.l := 1; i29.l := 1; i30.l := 1; i31.l := 1; i32.l := 1; i33.l := 1; i34.l := 1; i35.l := 1; i36.l := 1; i37.l := 1; i38.l := 1; i39.l := 1; i40.l := 1; i41.l := 1; i42.l := 1; i43.l := 1; i44.l := 1; i45.l := 1; i46.l := 1; i47.l := 1; i48.l := 1; i49.l := 1; i50.l := 1; i51.l := 1; i52.l := 1; i53.l := 1; i54.l := 1; i55.l := 1; i56.l := 1; i57.l := 1; i58.l := 1; i59.l := 1; i60.l := 1; i61.l := 1; i62.l := 1; i63.l := 1; } } MathematicalProgram tln7 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve tln7; } } Procedure MainTermination { Body: { return 1; } } }