## ams_version=1.0 Model Main_ex1265a { Variable i1 { Range: integer; } 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 b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable i31 { Range: integer; } Variable i32 { Range: integer; } Variable i33 { Range: integer; } Variable i34 { Range: integer; } Variable i35 { Range: integer; } Variable objvar; Constraint e1 { Definition: { - 0.1*b26 - 0.2*b27 - 0.3*b28 - 0.4*b29 - 0.5*b30 - i31 - i32 - i33 - i34 - i35 + objvar = 0 } } Constraint e2 { Definition: i31*i1 + i32*i2 + i33*i3 + i34*i4 + i35*i5 >= 12; } Constraint e3 { Definition: i31*i6 + i32*i7 + i33*i8 + i34*i9 + i35*i10 >= 6; } Constraint e4 { Definition: i31*i11 + i32*i12 + i33*i13 + i34*i14 + i35*i15 >= 15; } Constraint e5 { Definition: i31*i16 + i32*i17 + i33*i18 + i34*i19 + i35*i20 >= 6; } Constraint e6 { Definition: i31*i21 + i32*i22 + i33*i23 + i34*i24 + i35*i25 >= 9; } Constraint e7 { Definition: - 330*i1 - 360*i6 - 370*i11 - 415*i16 - 435*i21 + 1800*b26 <= 0; } Constraint e8 { Definition: - 330*i2 - 360*i7 - 370*i12 - 415*i17 - 435*i22 + 1800*b27 <= 0; } Constraint e9 { Definition: - 330*i3 - 360*i8 - 370*i13 - 415*i18 - 435*i23 + 1800*b28 <= 0; } Constraint e10 { Definition: - 330*i4 - 360*i9 - 370*i14 - 415*i19 - 435*i24 + 1800*b29 <= 0; } Constraint e11 { Definition: - 330*i5 - 360*i10 - 370*i15 - 415*i20 - 435*i25 + 1800*b30 <= 0; } Constraint e12 { Definition: 330*i1 + 360*i6 + 370*i11 + 415*i16 + 435*i21 - 2000*b26 <= 0; } Constraint e13 { Definition: 330*i2 + 360*i7 + 370*i12 + 415*i17 + 435*i22 - 2000*b27 <= 0; } Constraint e14 { Definition: 330*i3 + 360*i8 + 370*i13 + 415*i18 + 435*i23 - 2000*b28 <= 0; } Constraint e15 { Definition: 330*i4 + 360*i9 + 370*i14 + 415*i19 + 435*i24 - 2000*b29 <= 0; } Constraint e16 { Definition: 330*i5 + 360*i10 + 370*i15 + 415*i20 + 435*i25 - 2000*b30 <= 0; } Constraint e17 { Definition: - i1 - i6 - i11 - i16 - i21 + b26 <= 0; } Constraint e18 { Definition: - i2 - i7 - i12 - i17 - i22 + b27 <= 0; } Constraint e19 { Definition: - i3 - i8 - i13 - i18 - i23 + b28 <= 0; } Constraint e20 { Definition: - i4 - i9 - i14 - i19 - i24 + b29 <= 0; } Constraint e21 { Definition: - i5 - i10 - i15 - i20 - i25 + b30 <= 0; } Constraint e22 { Definition: i1 + i6 + i11 + i16 + i21 - 5*b26 <= 0; } Constraint e23 { Definition: i2 + i7 + i12 + i17 + i22 - 5*b27 <= 0; } Constraint e24 { Definition: i3 + i8 + i13 + i18 + i23 - 5*b28 <= 0; } Constraint e25 { Definition: i4 + i9 + i14 + i19 + i24 - 5*b29 <= 0; } Constraint e26 { Definition: i5 + i10 + i15 + i20 + i25 - 5*b30 <= 0; } Constraint e27 { Definition: b26 - i31 <= 0; } Constraint e28 { Definition: b27 - i32 <= 0; } Constraint e29 { Definition: b28 - i33 <= 0; } Constraint e30 { Definition: b29 - i34 <= 0; } Constraint e31 { Definition: b30 - i35 <= 0; } Constraint e32 { Definition: - 15*b26 + i31 <= 0; } Constraint e33 { Definition: - 12*b27 + i32 <= 0; } Constraint e34 { Definition: - 9*b28 + i33 <= 0; } Constraint e35 { Definition: - 6*b29 + i34 <= 0; } Constraint e36 { Definition: - 6*b30 + i35 <= 0; } Constraint e37 { Definition: i31 + i32 + i33 + i34 + i35 >= 10; } Constraint e38 { Definition: - b26 + b27 <= 0; } Constraint e39 { Definition: - b27 + b28 <= 0; } Constraint e40 { Definition: - b28 + b29 <= 0; } Constraint e41 { Definition: - b29 + b30 <= 0; } Constraint e42 { Definition: - i31 + i32 <= 0; } Constraint e43 { Definition: - i32 + i33 <= 0; } Constraint e44 { Definition: - i33 + i34 <= 0; } Constraint e45 { Definition: - i34 + i35 <= 0; } Procedure MainInitialization { Body: { i1.upper := 5; i2.upper := 5; i3.upper := 5; i4.upper := 5; i5.upper := 5; i6.upper := 5; i7.upper := 5; i8.upper := 5; i9.upper := 5; i10.upper := 5; i11.upper := 5; i12.upper := 5; 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; i31.upper := 15; i32.upper := 12; i33.upper := 9; i34.upper := 6; i35.upper := 6; } } MathematicalProgram ex1265a { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve ex1265a; } } Procedure MainTermination { Body: { return 1; } } }