## ams_version=1.0 Model Main_tln6 { 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 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; } 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 objvar; Constraint e1 { Definition: { - 0.1*b1 - 0.2*b2 - 0.3*b3 - 0.4*b4 - 0.5*b5 - 0.6*b6 - i7 - i8 - i9 - i10 - i11 - i12 + objvar = 0 } } Constraint e2 { Definition: 330*i13 + 360*i19 + 380*i25 + 430*i31 + 490*i37 + 530*i43 <= 2200; } Constraint e3 { Definition: 330*i14 + 360*i20 + 380*i26 + 430*i32 + 490*i38 + 530*i44 <= 2200; } Constraint e4 { Definition: 330*i15 + 360*i21 + 380*i27 + 430*i33 + 490*i39 + 530*i45 <= 2200; } Constraint e5 { Definition: 330*i16 + 360*i22 + 380*i28 + 430*i34 + 490*i40 + 530*i46 <= 2200; } Constraint e6 { Definition: 330*i17 + 360*i23 + 380*i29 + 430*i35 + 490*i41 + 530*i47 <= 2200; } Constraint e7 { Definition: 330*i18 + 360*i24 + 380*i30 + 430*i36 + 490*i42 + 530*i48 <= 2200; } Constraint e8 { Definition: - 330*i13 - 360*i19 - 380*i25 - 430*i31 - 490*i37 - 530*i43 <= -2100; } Constraint e9 { Definition: - 330*i14 - 360*i20 - 380*i26 - 430*i32 - 490*i38 - 530*i44 <= -2100; } Constraint e10 { Definition: - 330*i15 - 360*i21 - 380*i27 - 430*i33 - 490*i39 - 530*i45 <= -2100; } Constraint e11 { Definition: - 330*i16 - 360*i22 - 380*i28 - 430*i34 - 490*i40 - 530*i46 <= -2100; } Constraint e12 { Definition: - 330*i17 - 360*i23 - 380*i29 - 430*i35 - 490*i41 - 530*i47 <= -2100; } Constraint e13 { Definition: - 330*i18 - 360*i24 - 380*i30 - 430*i36 - 490*i42 - 530*i48 <= -2100; } Constraint e14 { Definition: i13 + i19 + i25 + i31 + i37 + i43 <= 5; } Constraint e15 { Definition: i14 + i20 + i26 + i32 + i38 + i44 <= 5; } Constraint e16 { Definition: i15 + i21 + i27 + i33 + i39 + i45 <= 5; } Constraint e17 { Definition: i16 + i22 + i28 + i34 + i40 + i46 <= 5; } Constraint e18 { Definition: i17 + i23 + i29 + i35 + i41 + i47 <= 5; } Constraint e19 { Definition: i18 + i24 + i30 + i36 + i42 + i48 <= 5; } Constraint e20 { Definition: b1 - i7 <= 0; } Constraint e21 { Definition: b2 - i8 <= 0; } Constraint e22 { Definition: b3 - i9 <= 0; } Constraint e23 { Definition: b4 - i10 <= 0; } Constraint e24 { Definition: b5 - i11 <= 0; } Constraint e25 { Definition: b6 - i12 <= 0; } Constraint e26 { Definition: - 16*b1 + i7 <= 0; } Constraint e27 { Definition: - 16*b2 + i8 <= 0; } Constraint e28 { Definition: - 16*b3 + i9 <= 0; } Constraint e29 { Definition: - 16*b4 + i10 <= 0; } Constraint e30 { Definition: - 16*b5 + i11 <= 0; } Constraint e31 { Definition: - 16*b6 + i12 <= 0; } Constraint e32 { Definition: -(i7*i13 + i8*i14 + i9*i15 + i10*i16 + i11*i17 + i12*i18) <= -8; } Constraint e33 { Definition: -(i7*i19 + i8*i20 + i9*i21 + i10*i22 + i11*i23 + i12*i24) <= -16; } Constraint e34 { Definition: -(i7*i25 + i8*i26 + i9*i27 + i10*i28 + i11*i29 + i12*i30) <= -12; } Constraint e35 { Definition: -(i7*i31 + i8*i32 + i9*i33 + i10*i34 + i11*i35 + i12*i36) <= -7; } Constraint e36 { Definition: -(i7*i37 + i8*i38 + i9*i39 + i10*i40 + i11*i41 + i12*i42) <= -14; } Constraint e37 { Definition: -(i7*i43 + i8*i44 + i9*i45 + i10*i46 + i11*i47 + i12*i48) <= -16; } Procedure MainInitialization { Body: { i7.upper := 16; i8.upper := 16; i9.upper := 16; i10.upper := 16; i11.upper := 16; i12.upper := 16; i13.upper := 5; i14.upper := 5; i15.upper := 5; i16.upper := 5; i17.upper := 5; i18.upper := 5; i19.upper := 5; i20.upper := 5; i21.upper := 5; i22.upper := 5; i23.upper := 5; i24.upper := 5; i25.upper := 5; i26.upper := 5; i27.upper := 5; i28.upper := 5; i29.upper := 5; i30.upper := 5; i31.upper := 5; i32.upper := 5; i33.upper := 5; i34.upper := 5; i35.upper := 5; i36.upper := 5; i37.upper := 5; i38.upper := 5; i39.upper := 5; i40.upper := 5; i41.upper := 5; i42.upper := 5; i43.upper := 5; i44.upper := 5; i45.upper := 5; i46.upper := 5; i47.upper := 5; i48.upper := 5; i7.l := 1; 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; } } MathematicalProgram tln6 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve tln6; } } Procedure MainTermination { Body: { return 1; } } }