I want to solve a Mixed Integer problem with several constraints. Gurobi or Google OR tools solve such problems. Though I am not sure, I think they use an exact method such as branch and bound or plane cut. Whereas, OptaPlanner is a metaheuristic solver. Does it give equally good results in terms of optimality?