Xpress-Kalis constraint programming solver released

Artelys and Dash Optimization announce Xpress-Kalis
(October 17th, 2005)

PARIS and LONDON:

Artelys SA and Dash Optimization Ltd. 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.

You will find more information about it here:
http://www.dashoptimization.com/home/products/products_kalis.html
http://kalis.artelys.com/


.