Gurobi is far better for almost every instance I’ve seen. There are also custom heuristics which win in almost every case. Finally, while I have not tried them,

Gurobi is far better for almost every instance I’ve seen. There are also custom heuristics which win in almost every case. Finally, while I have not tried them, there are some apparently high quality options like TimeFold which exist.