|
Artelys Kalis - Fonctionnalités
Déclaration
de problèmes
L'architecture objet d'Artelys Kalis offre une syntaxe riche
et souple pour décrire l'ensemble des caractéristiques
d'un problème : variables, domaines, contraintes,
objectif. Un ensemble de contraintes sémantiques classiques
(ou contraintes globales) facilite l'écriture des problèmes.
Résolution
Artelys Kalis intègre les dernières avancées
algorithmiques en matière de propagation. Il utilise
une méthode arborescente qui peut être pilotée
selon un ensemble de schémas de branchements pré-définis.
Leur conception sous forme d'objets génériques
rend possible la description de stratégies de branchement
"métiers" conçues par l'utilisateur.
Paramétrage
Outre les schémas de branchements, divers paramètres
permettent à l'utilisateur de spécifier la durée
de la recherche, le nombre de solutions recherchées,
etc. Les niveaux d'affichage au niveau de la recherche arborescente
et de la propagation peuvent aussi être finement paramétrés.
Cette fonctionnalité permet aux développeurs
de rapidement évaluer l'impact de leur stratégie
d'exploration et donc de l'adapter.
Définition de nouvelles contraintes
Artelys Kalis offre également la possibilité
de redéfinir des contraintes et de décrire leurs
mécanismes de propagation. Ces nouvelles contraintes
viennent alors compléter la librairie de contraintes
disponibles et peuvent faciliter la résolution de problèmes
possèdant une structure particulière.
Renseignements
Pour toute information concernant Artelys
Kalis, vous pouvez nous contacter :
•
par téléphone : +33 1 44 77 89 00 ;
•
par courrier électronique : info-kalis@artelys.com
|
