Xpress Kalis Module for Mosel
The Xpress Kalis Module for Mosel, or short Kalis for Mosel, provides access to the FICO® Xpress Kalis Constraint Programming solver by Artelys from Mosel via the module kalis. Through the kalis module, the Constraint Programming functionality of Kalis becomes available in the Mosel environment, allowing the user to formulate and solve CP models in the Mosel language. Xpress Kalis combines a finite domain solver and a solver over continuous (floating point) variables. To aid the formulation of scheduling problems, the software defines specific aggregate modeling objects representing tasks and resources that will automatically setup certain (implicit) constraint relations and trigger the use of built-in search strategies specialized for this type of problem. Standard scheduling problems may thus be defined and solved simply by setting up the corresponding task and resource objects. Additionally, Xpress Kalis provides automatic linear relaxations of its constraints to ease the formulation and solving of a wide range of optimization problems.
All data handling facilities of the Mosel environment, including data transfer in memory (using the Mosel IO drivers) and ODBC access to databases (through the module mmodbc) can be used with kalis without any extra effort.
The Mosel language supports typical programming constructs, such as loops, subroutines, etc., that may be required to implement more complicated algorithms. Mosel can also be used as a platform for combining different solvers, in particular Xpress Kalis with Xpress Optimizer for joint CP – LP/MIP problem solving (See the Xpress Whitepapers Multiple models and parallel solving with Mosel and Hybrid MIP/CP solving with Xpress Optimizer and Xpress Kalis). This manual explains the basics on modeling and programming with Mosel and, where necessary, also some more advanced features. For a complete documentation and a more thorough introduction to its use the reader is referred to the Mosel Language Reference Manual and the Mosel User Guide.
Note on product versions
Most examples in this manual have been developed using the release 2007.1.0 of Xpress Kalis with the Xpress Release 2007A beta version of Mosel (1.7.9). If they are run with other product versions the output obtained may look different. In particular, improvements to the algorithms in the CP solver or modifications to the default settings in Xpress Kalis may influence the behavior of the constraints or the search. Xpress Workbench screenshots have been updated to Xpress Release 8.7.
© 2001-2022 Fair Isaac Corporation. All rights reserved. This documentation is the property of Fair Isaac Corporation (“FICO”). Receipt or possession of this documentation does not convey rights to disclose, reproduce, make derivative works, use, or allow others to use it except solely for internal evaluation purposes to determine whether to purchase a license to the software described in this documentation, or as otherwise set forth in a written software license agreement between you and FICO (or a FICO affiliate). Use of this documentation and the software described in it must conform strictly to the foregoing permitted uses, and no other use is permitted.