Description of constraint programming options

Describes propagation control and search control options in the IDE.

Propagation control options
Describes the options that enable you to control propagation in constraint programming models.
Search control/General options
Describes the general options that enable you to control the search process in constraint programming models.
Search types
More about the search types that are applied when solving a constraint programming problem.
Search control/Tolerances
Describes the general options that enable you to control tolerances in the search process.
Search control/Limits
Describes the general options that enable you to control the limits in the search process.
Search control/Log control
Describes the general options that enable you to control the log tracing the search process.
Conflict refiner
CP Optimizer uses a conflict refiner to manage conflicts and identify the causes of infeasibility.

Parent topic: Constraint programming options