How to verify whether a solution is feasible or not in Gurobi?

[Mf Teng]

I solved optimization problem through both MIP model and my heuristic model. Sometimes I want to import the solution of heuristic into the MIP model and check whether all constraints are met. Could someone give me some advice on that, any suggestions will be appreciated. Thanks.

[des...@gurobi.com]

If you want to do an explicit test of feasibility, you need to set the bounds to the known solution value and solve it.  However, if you set your solution as a MIP start, it will test for feasibility and even try to convert the solution into a feasible solution.  Both of these ideas are for testing a solution prior to solving.  If you want to generate heuristics within the MIP search, then you need to use callbacks