Product Name: Xpress-Kalis
Xpress-Kalis provides access to the Artelys Kalis© constraint solver from a Mosel module, kalis. The Xpress-Kalis software is owned and developed by Artelys SA. Through Xpress-Kalis, the Constraint Programming functionality of Kalis becomes available in the Mosel environment, allowing the user to formulate and solve Constraint Programming (CP) models in the Mosel language. 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.
