QeCode 1.2

Le solveur de CSP quantifiés QeCode version 1.2 est sorti comme contribution à Gecode.

Quelques caractéristiques :

• QeCode accepte les formules quantifiées de toute profondeur

• QeCode accepte une syntaxe étendue qui permet de gérer des QCSP avec quantification restreinte pour faciliter la modélisation des problèmes avec adversaire

• QeCode accepte toutes les contraintes de Gecode, même les contraintes globales, et avec la même force de propagation que dans les CSP classiques

• QeCode est le premier solveur de QCSP à être disponible publiquement (licence MIT)

QeCode est développé par Jérémie Vautard, Marco Benedetti et Arnaud Lallouet. L’adresse du projet est : http://www.univ- orleans.fr/lifo/software/qecode/.