Constraint handling: constraints are either posted automatically or at the user's explicit request, making it thus possible to write models with various degrees of interactivity.
The particular strength of Kalis lies in the flexible definition of enumeration strategies: the user may choose among different branching schemes (determining the shape of the search tree), and define combinations of the built-in variable and value selection strategies with his own heuristics.
Xpress-IVE displays
The visual development environment Xpress-IVE supports the development and analysis of CP models through several software-specific displays, including the graphical representation of the CP search tree and a CP statistics pane. Naturally, all standard features of IVE (to name a few: browsable entities display, syntax highlighting, debugger) are equally available.
 |
 |
 |
| Model with user graph |
Search tree display |
CP statistics |
Combining solvers
The Mosel language can be used as a platform for combining different solvers,
in particular Xpress-Kalis with Xpress-Optimizer for joint CP – LP/MIP problem solving.
 Click here to download a whitepaper on combined CP–MP problem solving |
