对于具有二次约束的简单问题，Gurobi找不到最佳方法

Question

我正试图借助Gurobi（一个新的约束）来解决一个具有二次约束的简单问题。

它可以很好地解决以下问题：

max y
y <= x+2
y>= x*x

得出y = 4，x = 2。

但是现在，对于对称问题

min y
y >= -x-2
y <= -x*x

它仅设法找到y = 0，x = 0，这不是最佳值（应为y = -4，x = 2）。除了Gurobi之外，我还应该指定其他东西来帮助它吗？