## ams_version=1.0 Model Main_gbd { Variable objvar; Variable x2; Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Constraint e1 { Definition: -5*sqr(x2) + objvar - b3 - b4 - b5 = 0; } Constraint e2 { Definition: 3*x2 - b3 - b4 <= 0; } Constraint e3 { Definition: - x2 + 0.1*b4 + 0.25*b5 <= 0; } Constraint e4 { Definition: b3 + b4 + b5 >= 2; } Constraint e5 { Definition: b3 + b4 + 2*b5 >= 2; } Procedure MainInitialization { Body: { x2.lower := 0.2; x2.upper := 1; } } MathematicalProgram gbd { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve gbd; } } Procedure MainTermination { Body: { return 1; } } }