## ams_version=1.0 Model Main_st_test5 { 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 objvar; Constraint e1 { Definition: - 2*i1 - 6*i2 - i3 - 3*i5 - 3*i6 - 2*i7 - 6*i8 - 2*i9 - 2*i10 <= -4; } Constraint e2 { Definition: 6*i1 - 5*i2 + 8*i3 - 3*i4 + i6 + 3*i7 + 8*i8 + 9*i9 - 3*i10 <= 22; } Constraint e3 { Definition: - 5*i1 + 6*i2 + 5*i3 + 3*i4 + 8*i5 - 8*i6 + 9*i7 + 2*i8 - 9*i10 <= -6; } Constraint e4 { Definition: 9*i1 + 5*i2 - 9*i4 + i5 - 8*i6 + 3*i7 - 9*i8 - 9*i9 - 3*i10 <= -23; } Constraint e5 { Definition: { - 8*i1 + 7*i2 - 4*i3 - 5*i4 - 9*i5 + i6 - 7*i7 - i8 + 3*i9 - 2*i10 <= -12 } } Constraint e6 { Definition: - 7*i1 - 5*i2 - 2*i3 - 6*i5 - 6*i6 - 7*i7 - 6*i8 + 7*i9 + 7*i10 <= -3; } Constraint e7 { Definition: i1 - 3*i2 - 3*i3 - 4*i4 - i5 - 4*i7 + i8 + 6*i9 <= 1; } Constraint e8 { Definition: i1 - 2*i2 + 6*i3 + 9*i4 - 7*i6 + 9*i7 - 9*i8 - 6*i9 + 4*i10 <= 12; } Constraint e9 { Definition: - 4*i1 + 6*i2 + 7*i3 + 2*i4 + 2*i5 + 6*i7 + 6*i8 - 7*i9 + 4*i10 <= 15; } Constraint e10 { Definition: i1 + i2 + i3 + i4 + i5 + i6 + i7 + i8 + i9 + i10 <= 9; } Constraint e11 { Definition: - i1 - i2 - i3 - i4 - i5 - i6 - i7 - i8 - i9 - i10 <= -1; } Constraint e12 { Definition: { -(5*i1*i1 - 20*i1 + 5*i2*i2 - 80*i2 + 5*i3*i3 - 20*i3 + 5*i4*i4 - 50*i4 + 5*i5*i5 - 60*i5 + 5*i6*i6 - 90*i6 + 5*i7*i7) - 10*i8 - 10*i9 - 10*i10 + objvar = 0 } } Procedure MainInitialization { Body: { i1.upper := 1; i2.upper := 1; i3.upper := 1; i4.upper := 1; i5.upper := 1; i6.upper := 1; i7.upper := 1; i8.upper := 1; i9.upper := 1; i10.upper := 1; } } MathematicalProgram st_test5 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve st_test5; } } Procedure MainTermination { Body: { return 1; } } }