CPLEX 无解检测

CPLEX 无解检测"/>

CPLEX 无解检测

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