News - Dash Optimization and Artelys announce Xpress-Kalis

Dash Optimization Ltd. and Artelys SA today announced the release of Xpress-Kalis, the new Constraint Programming software component for the Xpress-MP Suite. Through Xpress-Kalis, the Constraint Programming functionality of the Artelys Kalis solver becomes available in the Xpress-MP Mosel environment, allowing the user to formulate and solve Constraint Programming (CP) models in the Mosel language.

Xpress-Kalis brings the following major benefits:

• high level language for working with CP models
• use standard Mosel data handling facilities (ODBC) with CP models + ease of use (predefined search strategies) + open entry points (user search heuristics, user-defined binary constraints) for more advanced/specific uses

Mosel and Kalis have proven track records for large applications, have the flexibility required for research, and are easy to use and to learn.

The Mosel environment lends itself as a platform for combining different solvers, in particular Xpress-Kalis with Xpress-Optimizer for the implementation of hybrid CP/MIP algorithms. Furthermore, users now have the ability to write their own solution heuristics.

For a more detailed description of Xpress-Kalis features, please follow this link