What is Xpress Kalis?

Xpress Kalis is a Constraint Programming modeler based upon the Artelys Kalis solver. The software is provided in the form of a Mosel module, kalis. Xpress Mosel must be installed in order to be able to use Xpress Kalis. The graphical environment Xpress Workbench can be used to work with Xpress Kalis models. The module kalis extends the Mosel language with new ways of defining and solving Constraint Programming (CP) problems.