## ams_version=1.0 Model Main_nvs08 { Variable i1 { Range: integer; } Variable i2 { Range: integer; } Variable x3; Variable objvar; Constraint e1 { Definition: sqrt(x3) + i1 + 2*i2 >= 10; } Constraint e2 { Definition: 0.240038406144983*sqr(i1) - i2 + 0.255036980362153*x3 >= -3; } Constraint e3 { Definition: sqr(i2) - 1/(POWER(x3,3)*sqrt(x3)) - 4*i1 >= -12; } Constraint e4 { Definition: -(sqr((-3) + i1) + sqr((-2) + i2) + sqr(4 + x3)) + objvar = 0; } Procedure MainInitialization { Body: { i1.upper := 200; i2.upper := 200; x3.lower := 0.001; x3.upper := 200; i1.l := 1; i2.l := 1; x3.l := 1; } } MathematicalProgram nvs08 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve nvs08; } } Procedure MainTermination { Body: { return 1; } } }