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

November 4, 2011 29 min