## ams_version=1.0 Model Main_st_test4 { 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 objvar; Constraint e1 { Definition: i1 + 2*i2 + 8*i3 + i4 + 3*i5 + 5*i6 <= 16; } Constraint e2 { Definition: - 8*i1 - 4*i2 - 2*i3 + 2*i4 + 4*i5 - i6 <= -1; } Constraint e3 { Definition: 2*i1 + 0.5*i2 + 0.2*i3 - 3*i4 - i5 - 4*i6 <= 24; } Constraint e4 { Definition: 0.2*i1 + 2*i2 + 0.1*i3 - 4*i4 + 2*i5 + 2*i6 <= 12; } Constraint e5 { Definition: - 0.1*i1 - 0.5*i2 + 2*i3 + 5*i4 - 5*i5 + 3*i6 <= 3; } Constraint e6 { Definition: { -(0.5*i1*i1 + 6.5*i1 + 7*i6*i6 - i6) + i2 + 2*i3 - 3*i4 + 2*i5 + objvar = 0 } } Procedure MainInitialization { Body: { i4.upper := 1; i5.upper := 1; i6.upper := 2; } } MathematicalProgram st_test4 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve st_test4; } } Procedure MainTermination { Body: { return 1; } } }