Bound 001_010.jl for unique global solution

jump-dev · Nov 13, 2024 · b567615 · b567615
1 parent 46ce897
commit b567615
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/nlp-expr/001_010.jl b/src/nlp-expr/001_010.jl
@@ -20,7 +20,7 @@ function nlp_expr_001_010(
     model = Model(optimizer)
 
     @variable(model, x, start = 1)
-    @variable(model, y, start = 2.12)
+    @variable(model, -pi/2 <= y <= 5pi/2, start = 2.12)
     @variable(model, z >= 1)
 
     @objective(model, Min, x * exp(x) + cos(y) + z^3 - z^2)