|
Artelys Kalis - Exemple
d'application
Problème du cavalier d'Euler
•
La première formulation pour le problème du cavalier d'Euler
fait appel aux contraintes "all-different" et aux
contraintes binaires : eulerkn.mos.
•
Une deuxième formulation utilise des contraintes avec implication
de façon à éliminer les sous-tours : eulerkn2.mos.
Une variante (eulerkn2_ive.mos)
utilise une visualisation personnalisée au moyen du
module mmive (disponible uniquement sous Windows).
•
Une troisième formulation utilise la contrainte "cycle" soit
dans sa forme la plus simple (eulerkn3.mos)
soit avec des variables sur les successeurs et les prédécesseurs
(eulerkn3b.mos).
Contact
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
|
