Currently, I am working on the implementation of a formulation for an optimization problem, at the moment I already have the MIP formulation implemented in C++ using Cplex studio 12.10 with the Concert technology.

However, for a given instance, the current implementation can not find any integer feasible solution, although that the instance is feasible (I checked it using a heuristic approach to find a feasible solution to the instance).

So, I was thinking about the possibility of some set of constraints is making the formulation invalid, i.e., some set of constraints is making the formulation not find an integer feasible solution. After hours of code debugging, checking if the formulation was implemented right, and I could not find any error in the code, also, the formulation (theoretically) is right.

Therefore, currently, I am trying to use the MIP Start strategy to input the instance feasible solution (achieved through the heuristic method) in the solver, and then in someway detect which constraints are being violated by the given solution. I know that I can give a solution to the Cplex solver using the function cplex.addMIPStart(x_var, x_val, effort_level), also I know very vaguely that I can use the conflict refiner strategy to find the unrespected constraints (if they exist).

I am here to ask for help in the second strategy, the conflict refiner, I know some links (https://www.ibm.com/support/knowledgecenter/pt/SSSA5P_12.8.0/ilog.odms.cplex.help/CPLEX/UsrMan/topics/infeas_unbd/conflict_refiner/24_eg_chg_ilomipex2_cpp.html) on the IBM Cplex resources web page, however at the moment I could not find any resource that approaches the using of MIP Start with conflict refiner to find which constraints of the model are not being respected. Hence, I would like to know if someone worked wit this before, and I could help me with this.

Thank you.