Dans cet exposé, nous nous présenterons le format XCSP3, pensé pour représenter des problèmes relevant typiquement de la programmation par contraintes. Par le passé, différents formats de représentation ont été proposés, mais aucun d’entre eux ne peut se targuer d’une adoption massive par la communauté PPC. Notre format se veut unificateur et permet de représenter un nombre très important de cadres de travail : problèmes de décision, d’optimisation (possiblement multi-critère), problèmes distribués, stochastiques, booléens, qualitatifs, etc. Au-delà du grand nombre de problèmes capturés par XCSP, notre format est conçu pour être flexible, extensible, et pouvant être facilement lu à la fois pour la machine (parsing) et pour l’humain (aisance de lecture).

Cet exposé ne reprend pas le contenu d’une article déjà publié, mais présente un travail en cours de réalisation, et a pour objectif d’obtenir un feedback des membres du laboratoire intéressés par la PPC. Il sera donc orienté pour interagir avec l’auditoire de manière dynamique, afin de valider l’orientation du format et/ou remettre en question certains choix qui ont été faits.