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
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.
The latest versions of Artelys Knitro and CasADi are now compatible!
— CasADi is an open-source tool for general numerical optimization with a strong focus on optimal control and its versions 3.6.2 and higher are now compatible with Artelys Knitro 13.2.
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
Production planning
— Typical uses of Artelys Kalis
• Jobshop and Flowshop scheduling
• Planning the production of bicycles
• Production of drinking glasses
• Material Requirement Planning
• Planning the production of electronic components
• Planning the production of fibreglass
Scheduling
— Typical uses of Artelys Kalis
• Cinema staff planning
• Emergency services duty roaster
• Crew management
• Hospital department duty roster
• Conference organization
• Cloud optimization
• Task scheduling
• Astronomical observation
Transportation
— Typical uses of Artelys Kalis
• Airport scheduling of aircraft landing times
• Airspace sectorization
• Connecting flights
• Crew management
• Airways hub choices
• Truck fleet scheduling
• Helicopter loading with centering constraints
Telecommunications
— Typical uses of Artelys Kalis
• Network reliability
• Dimensioning of a mobile phone network
• Routing telephone calls
• Construction of a cabled network
• Scheduling of telecommunication via satellite
• Location of GSM transmitters
Health
— Typical uses of Artelys Kalis
• Phylogenetic tree construction
• Hospital department duty roster
• Haplotype reconstruction
• Medical imaging analysis
Entertainments
— Typical uses of Artelys Kalis
• Euler Knight
• Sudoku
• N-queens
• Mastermind
• Grid and coins
• Wine barrels
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 • All rights reserved • Legal mentions