A conflict is a set of mutually contradictory constraints and bounds within a model. Given an infeasible model, ILOG CPLEX can identify conflicting constraints and bounds within it. ILOG CPLEX refines an infeasible model by examining elements that can be removed from the conflict to arrive at a minimal conflict. A conflict smaller than the full model may make it easier for the user to analyze the source of infeasibilities in the original model.

If the model happens to contain multiple independent causes of infeasibility, it may be necessary for the user to repair one cause and then repeat the process with a further refinement.