Take advantage of your constraints
— Artelys Kalis is an innovative constraints programming component able to solve quickly and efficiently a wide range of combinatorial problems relying on an interactive and user-friendly hybrid framework including constraint programming, mixed-integer programming and artificial intelligence.
Decision-making processes optimization is critical in most sectors of industry and economy. Artelys Kalis is used in many companies to develop innovative and efficient solutions in a wide range of sectors including finance, energy, communication, logistics or engineering.
news
Knitro 14.2 solve your toughest nonlinear non-convex models in seconds
— We are pleased to announce that Artelys Knitro 14.0 is now available! This new version enables compagnies to solve complex non-linear optimization problems with unprecedented efficency and precision.
Artelys Knitro 14.1: delivers very quick solutions on non-convex models
— We are pleased to announce that Artelys Knitro 14.0 is now available! This new version enables compagnies to solve complex non-linear optimization problems with unprecedented efficency and precision.
Artelys Knitro 14: new release of our nonlinear optimization solver
— We are pleased to announce that Artelys Knitro 14.0 is now available! This new version enables compagnies to solve complex non-linear optimization problems with unprecedented efficency and precision.
express your constraints
— Thanks to its extensive library of constraints and research, Artelys Kalis allows you to model and solve your combinatorial problems in no time.

Declare variables
integer, boolean, real or set
Add constraints
basics or globals
Define search strategy
choose from our research library or add your own custom strategy
Run enumeration
while keeping control
… and that’s all!
problems classes solved
— As a powerful constraint programming solver, Artelys Kalis is specialized in solving large combinatorial problems.

Scheduling

Vehicule Routing

Bin packing

Graph theory
applications
Production planning
Telecommunications
Scheduling
Health
Transportation
Entertainments
key features
— For optimal performance, Artelys Kalis has been designed as an object-oriented, open and rich platform to offer its users maximum flexibility.

resource allocation & planning
— Artelys Kalis includes modeling objects, constraints and specialized heuristics for planning and resource allocation issues.
Dedicated objects for scheduling problems +
- Tasks
- Resources
Support for multiple resource types
- Cumulative + or disjonctive +
- Renewable or not (machine capacity, working force) +
- Discrete or continuous
Efficient time constraints management
- Setup times +
- Idle time
- Load profile
Specialized heuristic search
interfaces

— Xpress-Kalis
Artelys Kalis has been associated with the algebraic modeling language FICO® Xpress Mosel to form the Xpress-Kalis constraint programming component.
FICO® Xpress Mosel facilitates the development of models thanks to its many data connectors (text files, Excel , ODBC, Oracle) as well as its integrated development environment, Xpress Workbench.
With Xpress-Kalis, you get all the power of FICO® Xpress Mosel: define your own search strategies or your specific constraints never been so simple!
operating systems



subscribe to our newsletters
download the brochure
Request demo
© ARTELYS document.write(new Date().getFullYear()); • All rights reserved • Legal mentions