What's better than Gurobi? I used it at a previous job and we weren't aware of anything better (but it also seemed slow and not great at scaling).