Enumeration

This chapter gives an overview on different issues related to the definition of search strategies with Xpress Kalis, namely

• predefined search strategies,
• means of interrupting and restarting the enumeration,
• search callbacks, and
• the definition of user search strategies.

The last section discusses what may be done in the case of an infeasible constraint system:

• analyzing infeasibility and handling conflicts