![](/statics/img/blank.png)
RedSam
Licença: Livre Tamanho do arquivo: N/A
Classificação dos usuários: 4.0/5 - 1 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
Sobre RedSam
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++ e use a biblioteca boost