Programmes par redsam.sf.net

Résolution de problèmes de satisfaction de contrainte pour les contraintes binaires, fichiers d’entrée dans XML avec le format actuel XCSP 2.1, adopté pour le concours de solveur CSP/MaxCSP/WCSP 2008. Le solveur est en C++ et