INRIA

1
INRIA

• Trois axes de recherche
• Langages concurrents avec contraintes
• Solveurs de contraintes
• Environnements de mise au point

2
Equipe

• Responsable scientifique Franois Fages
• Conseiller scientifique Philippe Codognet (Univ.
  Paris 6)
• Pierre Deransart
• Jean-Claude Sogno
• Collaborateurs ext?rieurs Fr?d?ric Benhamou
  (Univ. Nantes), Daniel Diaz (Univ. Paris 1),
  G?rard Ferrand (Univ. Orl?ans)
• Doctorants Emmanuel Coquery, Sorin Craciunescu,
  Ludovic Langevine, (Sylvain Soliman) --- Yoann
  Fabre, Luc Hernandez, (Nadine Richard).

3
Langages concurrents avec contraintes

• Langage LCC ( Linear Concurrent Constraint
  Prog. )
• mod?le d?ex?cution r?actif
• combiner contraintes et changement d??tats
• GNU-Prolog (Daniel Diaz)
• Compilateur Prolog en code natif
• Propagation de contraintes sur les domaines finis
• Typage des programmes logiques avec contraintes
• logiciel TPLP

4
Solveurs de contraintes

• Contraintes sur les domaines finis (GNU-Prolog)
• Contraintes globales
• Programmation lin?aire
• Contraintes flexibles (valuation dans
  demi-anneaux)
• Recherche locale, m?ta-heuristiques
• Applications probl?mes d?optimisation
  combinatoire

5
Environnement de mise au point

• Projet RNTL OADymPPac (ex projet Esprit Discipl)
• Format de trace g?n?rique de la programmation par
  contraintes
• Format d??change XML avec les outils de
  visualisation
• Visualisation 2D et 3D des domaines et de l?arbre
  de recherche
• Logiciel CLPGUI
• Visualisation 2D-3D et interaction avec le
  solveur

6
Consoles de contrôle et visualisation
7
8 reines-ff 1?re solution
8
Vue 3D de l?abre de recherche