CPLEX provides tools to help you analyze the source of the infeasibility in your model. Those tools include the conflict refiner and FeasOpt:
(CPLEX 可以分析模型的无解,包括两个工具:conflict refiner and FeasOpt)
-
The conflict refiner is invoked by the routine CPXrefineconflict in the Callable Library or by the method refineConflict in Concert Technology. It finds a set of conflicting constraints and bounds in a model and refines the set to be minimal in a sense that you declare. It then reports its findings for you to take action to repair that conflict in your infeasible model. For more about this feature, see