4 novembre 2011 15 min

Actuellement, une nouvelle librairie pour la programmation par contraintes est en développement. Celle-ci a pour particularité de permettre l'utilisation de variables relationnelles : des variables dont le domaine n'est plus composé d'un en

4 novembre 2011 29 min

Concurrent constraint programming (CCP) is a modeling framework integrating two views of processes, as runnable specifications and as logic formulae. Model specifications in ccp use constraints both to express partial information about the

4 novembre 2011 50 min

The constraints system within PWGL, PWGLConstraints, allows us to write rules using a special pattern-matching language. Typically, the assignments use as a starting point a score prepared with the help of Expressive Notation Package (ENP).

4 novembre 2011 38 min

Je décrirai l'utilisation du logiciel de programmation par contrainte Gecode dans le contexte de résolution de problèmes compositionnels. La première motivation était de ressusciter un système qui a été développé dans les années 80 en Prol

4 novembre 2011 47 min