OADymPPaC
Outils pour l'Analyse Dynamique et la mise au Point de
Programmes avec Contraintes
Problèmes "réels"
[à faire]