Xpress-Kalis Extensions

Dash and Artelys reinforce their joint efforts to provide the most advanced constraint programming functionality in the Mosel environment.

Release 2008.1 of Xpress-Kalis introduces the concept of Xpress-Kalis extensions as its major new feature. This unique extension mechanism allows the user to enrich the Mosel language with his own constraints and branching schemes to meet the needs of complex modeling situations. Xpress-Kalis extensions are implemented at the library level. They are integrated into the standard Xpress-Kalis library in a transparent manner and the new functionality becomes available in the Mosel language just like the solver's own objects.

The Xpress-Kalis extensions functionality is particularly interesting in the context of advanced model development. Practical applications sometimes include specific constraints that are not easily expressed with the available predefined constraint relations of Xpress-Kalis or for which more efficient propagation algorithms are known. In such a case implementing a specific constraint propagation algorithm may have a considerable impact on solving times. Similarly, an enumeration strategy tailored to the particular problem often greatly improves on the efficiency of a constraint programming model.

For more information on Xpress-Kalis please see the product page.

If you would like to evaluate Kalis please complete the evaluation form.