OADymPPaC

Outils pour l'Analyse Dynamique et la mise au Point de
Programmes avec Contraintes

Partenaires

Partenaires academiques

INRIA (Institut National de Recherche en Informatique et en Automatique), contraintes.inria.fr research team
EMN (Ecole des Mines de Nantes)
IRISA/INSA (Rennes)
LIFO, Orleans

Partenaires industriels