Test and debug the model

Introduces the preprocessor, conflict refiner, and FeasOpt as testing and debugging tools.

The optimizers available in CPLEX work on primarily on models for which bounded feasible solutions exist. For unbounded or infeasible models, that is, for models for which no bounded, feasible solution exists, CPLEX offers tools to enable you to test and debug the model.

Early reports of infeasibility based on preprocessing reductions explains how to interpret reports from the preprocessor that your model is infeasible or unbounded. It also describes how to use a parameter to further your analysis of those preprocessor reports.

Diagnosing infeasibility by refining conflicts explains the conflict refiner, a tool that can help you diagnose incompatibilities among constraints within your model or MIP start.

Repairing infeasibilities with FeasOpt introduces a tool that attempts to repair infeasibility in a model by modifying the model according to preferences that you express.