Programas por redsam.sf.net

Solución de problemas de satisfacción de restricciones para restricciones binarias, archivos de entrada en XML con el formato actual XCSP 2.1, adoptados para la competencia de solucionador CSP/MaxCSP/WCSP de 2008. El solucion