Artelys Kalis
Constraint programming solver for large combinatorial problems
An Interactive and User-Friendly Hybrid MIP/CP Framework for large combinatorial problems.
Artelys Kalis is an innovative constraints programming component able to solve quickly and efficiently a wide range of combinatorial problems such as: scheduling, timetabling, resource allocation, equipment or network configuration, etc.
Artelys Kalis is also available in FICO™ Xpress Optimization (Xpress-Kalis).
Academic partnership
Furthermore, if you are an academic at a degree-awarding institution you can join our Academic Partnership to receive a special discounted package. This package includes:
• Ten fixed PC annual licenses. Each license includes the latest version of Artelys Kalis (C++ callable library), an exhaustive documentation, and ready-to-use tutorial examples
• Right to print/copy all documentation for teaching and research
Please contact us for more information.
Key benefits & features
Key benefits
• No limitation to linear or non-linear modeling
• Use of a rich semantic
• Increase the flexibility of the modelization
• Extremely performing with highly combinatorial and constrained problems
• Take into consideration more problems
• Object-oriented
Key features
• Comprehensive library of constraints and search heuristics
• User-defined constraints, search heuristics and callbacks
• Automatic generation of LP or MIP relaxations for faster optimization runs
• Solves arithmetic constraints over floating point variables
• Defines high-level modeling objects to represent tasks and resources
• Specialized modeling objects, constraints and search heuristics for scheduling and resource
allocation problems
• Flexible definition of enumeration strategies: the user may choose among different branching schemes, and define combinations of the built-in variable and value selection strategies with his own heuristics
• New! Multi-threaded optimization for multi-core architectures
Problem classes solved by Artelys Kalis
• General Mixed Integer Nonlinear Problems (MIP/MINLP)
• Process Planning and Scheduling
• Resource Allocation and Crew Rostering
• Vehicle Routing and Supply Chain Design
Programming interfaces
Operating systems
Business Applications
A few examples of Artelys Kalis applications.
Strategic healthcare / Defense
• Disaster places evacuation plan for a big city
Production planning
• Cane sugar production
• Job-shop scheduling
Workforce planning
• Cinema personnel planning
• Emergency service planning
Logistics
• Cargo-ship loading
Transportation
• Airport scheduling of aircraft landing times
• Helicopter loading with centring constraints
Telecoms
• Frequency allocation for cellular network
• Frequency allocation for cellular network with polarity constraints
Entertainments
• Euler Knight
• Sudoku
• N-queens
Manuals
coming soon!
Download a trial version
Frequently asked questions
If you have question regarding Artelys Kalis, please contact us : info-kalis@artelys.com.
Artelys Kalis support
Artelys provides technical support worldwide for Artelys Kalis.
More informationArtelys Kalis support
Artelys provides technical assistance worldwide for Artelys Kalis.
The annual maintenance and support contract offers the following services:
Telephone and e-mail assistance for the use of Artelys Kalis. This assistance is ensured by Artelys. Help with modeling is excluded, but Artelys provides you with useful information and advices to benefit from the numerical performances and all the functionalities of Artelys Kalis.
Free and automatic upgrade of your Artelys Kalis is committed to maintain it at the leading edge of optimization technology. Support and maintenance holders automatically receive all significant enhancements.
Privileged access to new services and products.
For any technical problem or commercial information, please contact us at +33 (0)1 44 77 89 00 or use our contact page.
Share this page
Linked in Viadeo Google Tweet this page FaceBook