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