TP1 : Puzzle arithmétique
Il s'agit de résoudre le problème de nombres croisés suivant :
Définitions: nombres carrés tous distincts
1.
En utilisant ILOG Solver, écrire un programme de résolution de cette
grille. EXCEPTIONNELLEMENT, on pourra coder les données « en dur » dans le
programme. On utilisera les classes suivantes :
-
IlcIntArray
pour définir un tableau d'entiers.
-
IlcIntVar
pour déclarer une variable de domaine fini.
On rappelle le profil d'un programme avec contraintes utilisant Solver :
-
création d'un manager ;
- définition des variable ;
- pose des contraintes ;
- recherche d'une (des) solution(s) ;
- affichage de la (des) solution(s) ;
- clôture du manager.
Le manuel de référence d'ILOG Solver est disponible au format html à l'URL
file:/usr/local/ilog/solver43/html/ref/solverre.htm
Un modèle de makefile est disponible dans
/usr/local/serveur/ILOG/Makefile
Pour exécuter un programme utilisant ILOG Solver, la variable d'environnement suivante doit être positionnée :
setenv ILOG_LICENSE_FILE /usr/local/ilog/ilm/access.ilm
- 1
- Les chiffres isolés sont quelconques. Un nombre ne commence pas par un 0.
This document was translated from LATEX by
HEVEA.