Programas por redsam.sf.net

Problemas de resolução de problemas de restrição para restrições binárias, arquivos de entrada em XML com o formato atual XCSP 2.1, adotado para a competição de solucionador CSP/MaxCSP/WCSP de 2008. O solucionador está em C++