Franois Fages Fvrier 2002 Trois axes de recherche: • Langages concurrents avec contraintes • Solveurs de contraintes • Environnements de mise au point.

Présentation au sujet: "Franois Fages Fvrier 2002 Trois axes de recherche: • Langages concurrents avec contraintes • Solveurs de contraintes • Environnements de mise au point."— Transcription de la présentation:

1 Franois Fages Fvrier 2002 Trois axes de recherche: • Langages concurrents avec contraintes • Solveurs de contraintes • Environnements de mise au point Projet Contraintes INRIA Rocquencourt Th me Gnie logiciel et calcul symbolique INRIA

2 Franois Fages Fvrier 2002 Equipe •Responsable scientifique: Franois Fages •Conseiller scientifique: Philippe Codognet (Univ. Paris 6) •Pierre Deransart •Jean-Claude Sogno •Collaborateurs extrieurs: Frdric Benhamou (Univ. Nantes), Daniel Diaz (Univ. Paris 1), Grard Ferrand (Univ. Orlans) •Doctorants: Emmanuel Coquery, Sorin Craciunescu, Ludovic Langevine, (Sylvain Soliman) --- Yoann Fabre, Luc Hernandez, (Nadine Richard).

3 Franois Fages Fvrier 2002 Langages concurrents avec contraintes Langage LCC (« Linear Concurrent Constraint Prog. ») mod le d ’ excution ractif 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 Franois Fages Fvrier 2002 Solveurs de contraintes • Contraintes sur les domaines finis (GNU-Prolog) • Contraintes globales • Programmation linaire • Contraintes flexibles (valuation dans demi-anneaux) • Recherche locale, mta-heuristiques Applications: probl mes d ’ optimisation combinatoire

5 Franois Fages Fvrier 2002 Environnement de mise au point Projet RNTL OADymPPac (ex projet Esprit Discipl) • Format de trace gnrique 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 Franois Fages Fvrier 2002 Consoles de contrôle et visualisation

7 Franois Fages Fvrier 2002 8 reines-ff 1 re solution

8 Franois Fages Fvrier 2002 Vue 3D de l’abre de recherche