Partenaires

CNRS
Université d'Artois IUT de Lens



retour à l'accueil

Home page > Software > CSP solvers > valCSP (in French)

valCSP (in French)

valCSP est un solveur (développé par Assef Chmeiss, Lakhdar Saïs et Vincent Krawczyk) de réseaux de contraintes (formalisme CSP).

Il s’intéresse aux problèmes de décision liés aux CSP. Si le CSP est satisfaisable, valCSP fournit une solution. Il faut noter que, en l’état actuel, ce solveur traite de façon efficace les CSP binaires.

valCSP est écrit en C. Pour obtenir le logiciel (code source et exécutable), contacter Lakhdar Saïs (sais AT cril.univ-artois.fr).

In the same section :