Partenaires
Home page > Software > CSP solvers
CSP solvers
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 (...)
Abscon (in French)
Abscon permet de résoudre des CSPs et aussi des COPs en utilisant une méthode de recherche arborescente complète. De nombreuses heuristiques et techniques de propagation sont disponibles. Il est développé en Java.