|
Artelys Kalis - Exemple
d'application
Le
problème du Sudoku
Outre la contrainte "all-different",
le problème du Sudoku utilise la fonctionnalité permettant
de retrouver le statut d'une information au travers de ses
paramètres : sudoku_ka.mos
Le deuxième modèle illustre comment changer d'algorithme
de propagation et comment mesurer le temps de calcul grâce
à "gettime" : sudoku2_ka.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
|
