CP Optimizer User's Manual

This is the CP Optimizer User's Manual.

Welcome to the CP Optimizer User’s Manual
This is the CP Optimizer User's Manual.
Using CP Optimizer
Solving constraint programming problems with CP Optimizer can be broken into three steps: describing the problem, modeling the problem and finding solutions to the model of the problem. A basic constraint programming problem model consists of decision variables and constraints on those variables. Finding a solution to a model involves constraint propagation and search.
Modeling a problem with Concert Technology
After describing your constraint satisfaction or optimization problem, you use Concert Technology classes to model the problem. A Concert Technology model consists of a set of objects, known as modeling objects. Each decision variable, each constraint and the objective function in a model are all represented by objects of the appropriate class.
Constraints and expressions in CP Optimizer
Constraints and expressions are building blocks that can be used to create models in CP Optimizer applications.
Constraint propagation in CP Optimizer
CP Optimizer solves a model using constraint propagation and constructive search with search strategies.
Search in CP Optimizer
CP Optimizer uses constructive search strategies to find a solution to a constraint programming problem.
Tuning the CP Optimizer search
CP Optimizer provides a variety of search algorithms for solving constraint programming problems.
Designing models
While developing models for CP Optimizer can be straightforward, there are some principles that you should consider while working on a model.
Designing scheduling models
Although developing scheduling models for CP Optimizer can be straightforward, there are some principles that you should consider while working on a model.
Debugging applications
CP Optimizer offers debugging features including exception handling, logging and tracing.
Developing an application with CP Optimizer
Developing an application with CP Optimizer involves data preparation, modeling and solving.