undefined 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

undefined 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

undefined 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).

undefined 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

undefined 47 min