Votre espace client

Remplissez le formulaire suivant afin de vous connecter à l'espace client. Attention, nombre de tentatives de connexion limité à 5.
Si vous avez perdu votre mot de passe, cliquez ici.

Artelys Kalis

 

Solveur de programmation par contraintes pour la résolution des problèmes combinatoires de grande taille

Artelys Kalis est une plateforme de modélisation et de résolution de problèmes combinatoires de grande taille par des techniques hybrides de programmation par contraintes et programmation mathématique.

L’optimisation des processus de décision est devenue une préoccupation majeure dans un grand nombre de secteurs industriels et économiques. Artelys Kalis, solveur pour la résolution par contraintes, est utilisé par un grand nombre de sociétés pour mettre au point des applications innovantes et efficaces dans la finance, l’énergie, la communication, la logistique, les sciences et l’ingénierie.

Artelys Kalis est un composant numérique de programmation par contraintes permettant un traitement rapide et efficace de problèmes combinatoires de diverses natures : ordonnancement, emplois du temps, allocation de ressources, configuration d’équipements ou de réseaux, etc.

Artelys développe, distribue et assure le support d’Artelys Kalis. Il est également disponible au sein de la suite FICO™ Xpress Optimization (Voir onglet Xpress-Kalis).

Partenariat académique

Artelys a mis en place un partenariat académique pour les établissements d’enseignement supérieur, qui leur permet d’utiliser Artelys Kalis à des fins de recherche ou d’enseignement. Des options (incluant le support et des licences additionnelles) sont proposées à des conditions avantageuses. Si vous faites partie d’un établissement d’enseignement supérieur et que vous souhaitez mettre en place ce partenariat avec Artelys, merci de nous contacter.

Partenariat académique Artelys

• 10 licences annuelles fixes sur PC. Chaque licence inclut la dernière version d’Artelys Kalis C++ fournie avec une documentation exhaustive et des exemples didactiques prêts à l’emploi.

• Autorisation de reproduction de la documentation pour l’enseignement et la recherche.

Pour toute information sur les partenariats, utilisez notre formulaire de contact

Gamme de problèmes résolus par Kalis

Artelys Kalis est une plateforme orientée objet, ouverte et riche pour résoudre des problèmes combinatoires. Artelys Kalis est efficace pour la résolution de diverses classes de problèmes complexes.

• Problèmes linéaires et non linéaires à variable mixte (MIP/ MINLP)
• Problèmes de planification et d’ordonnancement
• Problèmes d’allocation de ressources et de rotation d’équipage
• Problème de dimensionnement de chaîne logistique et de tournées de véhicules

Principales fonctionnalités

• Vaste librairie de contraintes et de recherches heuristiques et méta heuristiques, complètes et locales
• Objets de modélisation, contraintes et recherches heuristiques spécialisés pour les problèmes de planification et d’allocation de ressources
• Possibilité pour l’utilisateur de définir ses contraintes, ses recherches heuristiques et ses rappels
• Génération automatique de relaxation de problèmes linéaires (LP) ou de problèmes à variables mixtes (MIP) pour une optimisation plus rapide et la définition de stratégies de résolution hybrides

Interfaces de programmation

Artelys Kalis peut être utilisé depuis les interfaces de programmation telles que Python, Java, C/C++, Microsoft.net

Système d’exploitation

Artelys Kalis est disponible sous les systèmes d'exploitation Windows 32-bit and 64-bit Linux 64-bit Solaris

Exemples d'application d'Artelys Kalis

Tous les exemples d'applications d'Artelys Kalis listés ci-dessous sont téléchargeable ici.

Défense - urgence sanitaire

• Plan d'évacuation des victimes en cas d'attaque terroriste dans une grande ville

Planning de production

• Ordonnancement d'atelier

Planification de personnel

• Planning du personnel d'un cinéma
• Rotation du personnel d'un service d'urgence

Logistique

• Chargement d'un cargo

Transport

• Planification des atterrissages des avions
• Chargement d'hélicoptères avec contraintes d'équilibrage de poids

Télécom

• Problème d'allocation de fréquence pour les réseaux mobiles
• Problème d'allocation de fréquence dans les réseaux hertziens (et non mobiles) avec contraintes de polarité

Récréation

• Cavalier d'Euler
• Sudoku

 

Xpress-Kalis

Artelys Kalis a été associé au modeleur Xpress-Mosel et devient le composant de programmation par contraintes Xpress-Kalis. Le modeleur Xpress-Mosel permet d'accéder directement en langage Mosel, et sous Windows au sein de l'environnement IVE, à l'ensemble des extensions développées par l'utilisateur : nouvelles contraintes, nouvelles stratégies de recherche, etc.

Gamme de problèmes résolus par Xpress-Kalis

• Problèmes linéaires et non linéaires à variable mixte (MIP/ MINLP)
• Problèmes de planification et d’ordonnancement
• Problèmes d’allocation de ressources et de rotation d’équipage
• Problème de dimensionnement de chaîne logistique et de tournées de véhicules

Principales fonctionnalités

• Intégration dans le langage Xpress-Mosel pour un prototypage et un développement facilités et accélérés

• Disponible via le modeleur Xpress-IVE

- Syntaxe colorée
- Modèles et recherches statistiques
- Visualisation de l’arbre de recherche

• Vaste librairie de contraintes et de recherches heuristiques et méta heuristiques, complètes et locales

• Objets de modélisation, contraintes et recherches heuristiques spécialisés pour les problèmes de planification et d’allocation de ressources

• Possibilité pour l’utilisateur de définir ses contraintes, ses recherches heuristiques et ses rappels

• Génération automatique de relaxation de problèmes linéaire (LP) ou de problèmes à variables mixtes (MIP) pour des stratégies de résolution hybrides et une optimisation plus rapide

Stratégies de résolution hybrides

Documentation Artelys Kalis

Télécharger le manuel de l'utilisateur

Téléchargement d’une version d’essai

step 1Sélectionnez une version

  • Version destinée aux étudiants souhaitant utiliser Artelys Kalis dans le cadre de leurs études.

  • Version destinée aux entreprises souhaitant évaluer les performances d'Artelys Kalis. Aucune utilisation commerciale de cette version n’est autorisée.

  • Version destinée aux enseignants-chercheurs souhaitant évaluer Artelys Kalis dans le cadre d’un projet de recherche publique ou pour la préparation d’un cours.

DO NOT REMOVE
DO NOT REMOVE

step 2Version étudiante

Version d’évaluation limitant la taille du problème à 300 variables et 300 contraintes, valable 6 mois

En téléchargeant ou en utilisant ce composant, j’accepte les conditions suivantes :

• utilisation à des fins d’étude
• aucune utilisation à des fins commerciales
• uniquement durant la période d’évaluation

DO NOT REMOVE

step 2Version commerciale

Version complète valable 1 mois

En téléchargeant ou en utilisant ce composant, j’accepte les conditions suivantes :

• uniquement à des fins d’évaluation
• aucune utilisation à des fins commerciales
• uniquement durant la période d’évaluation

DO NOT REMOVE

step 2Version académique

Merci de préciser votre choix :

• Version limitant la taille du problème (300 variables et 300 contraintes), valable 6 mois*

• Version complète valable 1 mois*

Je comprends que cette version est destinée aux professionels de l’éducation à des fins d’enseignement. En téléchargeant ou en utilisant ce composant, j’accepte les conditions suivantes :

• uniquement à des fins d’enseignement
• aucune utilisation à des fins commerciales
• uniquement durant la période d’évaluation

Comment obtenir l’ID de votre ordinateur ?

DO NOT REMOVE

step 3Contrat de licence

J’ai lu et j’accepte le contrat de licence.

Questions fréquentes

Pour toute question concernant Artelys Kalis, merci de nous contacter.

Assistance Artelys Kalis

Artelys assure le support technique du produit Artelys Kalis dans le monde entier.

En savoir plus sur l’assistance