|
Xpress-Kalis
Artelys Kalis a été associé au modeleur Xpress-Mosel et devient
le nouveau 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.
L'environnement de développement graphique IVE permet le
développement et l'analyse de modèles de programmation par
contraintes grâce à des affichages spécifiques, qui incluent
la visualisation de l'arbre de recherche, des données statistiques,
et des outils de représentation spécifiques aux problèmes
d'ordonnancement (diagrammes de Gantt, diagrammes d'occupation
des ressources, etc.).
Les fonctionnalités traditionnelles de IVE telles que le
debugger ou la mise en relief de la syntaxe sont également
à la disposition de l'utilisateur :
|
model
"Gardner
10-digit number" uses
"kalis"
declarations
VALUES = 0..9
!
Digits
digit: array(VALUES) of
cpvar ! Decision var.s
end-declarations
! Set variable domains
forall(i
in VALUES) setdomain(digit(i),
VALUES)
digit(0)<>0
!
First digit different from 0
! Cardinality constraint for each digit
forall(i
in VALUES)
occurrence(i, digit) = digit(i)
! Solve the problem and output the solution
if cp_find_next_sol
then
forall(i
in VALUES)
writeln(i, ": ",
getsol(digit(i)))
end-if
end-model
|
Vous pouvez télécharger ici
les caractéristiques de Xpress-Kalis ou consulter le
site de Dash
Optimization pour plus de détails.
Renseignements
Pour toute information concernant Xpress-Kalis, vous pouvez
nous contacter :
•
par téléphone : +33 1 44 77 89 00 ;
•
par courrier électronique : info-kalis@artelys.com
|
