Getting started
Gentle introduction to constraint programming and Artelys Kalis solver, and overview of this user's guide.
Solving a constraint problem
Solving your first problem with Artelys Kalis on a simple personal example.
Optimizing with Artelys Kalis
Find all relevant information to perform optimization with Artelys Kalis.
Improvement techniques
Learn about two improvement techniques often used in modeling problems using constraint programming: symmetry breaking and redundant constraints.
Advanced Search Strategies
Learn how to use and define advanced search strategies to improve performances.
Constraints examples
Explore a collection of examples demonstrating the use of Artelys Kalis for solving different types of (optimization) problems.
Glossary
 
Installing and using Artelys Kalis
Instruction to install Artelys Kalis, check your license, compile and run some examples.
Continuous variables and numerical CSP
Find all relevant information to solve numerical constraint satisfaction problem with Artelys Kalis.
Controlling the solution search
Introduction to search control.
Debugging and tracing
Learn how to use Artelys Kalis in debugging and tracing mode.
Define your own constraints
Learn how to define your own constraints propagation mechanism and how to make them efficient and incremental.
Scheduling
Explore specific modelling objects for scheduling problems.
Index
