Aviad Rubinstein

Thanks Eli for the response, this is super helpful! Follow-up question: How can I get Gurobi to output the branch-and-bound log so that I can verify the proof?

I have a follow-up question: I have a small optimization problem with quadratic constraints (it's a nonconvex domain unfortunately).Can Gurobi guarantee optimality of the solution? How? The respons...