Compte-tenu de l'etat de l'art en matiere de mise au point de programmes
avec contraintes et de la variete des solveurs existants, le projet a pour
objectif principal la definition de techniques de trace generiques et de
formats d'echange afin de faciliter la definition d'outils d'observation
et de mise au point.
Ceci permettra, en parallele, la definition et l'experimentation
de nouveaux outils avec deux champs d'application: la programmation avec
contraintes et une meilleure comprehension du comportement des solveurs
d'une part, et le développement de techniques génériques
de visualisation d'information adaptées à l'analyse visuelle
des traces produites par les phénomènes dynamiques d'autre
part.
Le consortium se compose de quatre partenaires academiques (INRIA-Rocquencourt,
Ecole des Mines de Nantes, IRISA a Rennes et Universite d'Orleans) et deux
partenaires industriels (Cosytec, Ilog).
Les partenaires du projet regroupent des competences dans trois
domaines clefs pour le projet: Outils de mise au point de programmes, Techniques
de visualisation et programmation avec contraintes.
Les retombées attendues du projet sont de trois sortes: amélioration des compétences scientifiques et techniques des partenaires afin de maintenir l'avance technologique francaise dans ce domaine; amélioration des plateformes industrielles et academiques: solveurs de contraintes et leurs outils de mise au point pour Cosytec et modules de visualisation pour Ilog, logiciels libres comme GNU-Prolog, contribution a l'enseignement de la programmation avec contraintes.
Acteurs majeurs sur le marché de la programmation avec contraintes
et de la visualisation, les partenaires industriels du projet ont
pour but d'offrir une gamme complete d'outils dans leurs domaines respectifs.
De ces outils et des resultats scientifiques du projet nous sommes en droit
d'esperer une meilleure diffusion de ces techniques fondamentales.