Overview

Specialized constraints on integer decision variables are designed and implemented to reduce domains of variables efficiently during a search.

Theoretically, these constraints can be written from elementary arithmetic constraints and expressions, but CP Optimizer offers you these specialized constraints, ready to use in your application. They have been designed and implemented to reduce domains of variables efficiently during a search.