RedSam
Você poderá baixar em 5 segundos.
Você também pode clicar no seguinte Link de Download Externo para iniciar o download:
http://sourceforge.net/projects/redsam/files/redsam/RedSam/RedSamV1.zip/download
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
Programas Relacionados
-
VSource PHP Image Reflection Script Livre
Este Script de Reflexão de Imagem PHP irá produzir uma imagem com uma reflexão geradaÉ simplesmente um parâmetro de imagem entre outros parâmetros e saídas uma imagem bruta para exibição em um navegador. Suporta formatos de e
-
wmpower Livre
wmpower é um aplicativo de dock do Windows Maker para Linux que permite ao usuário ver (e definir) o status de gerenciamento de energia de seu laptop. Escrito em C, trabalha com núcleos habilitados para APM e ACPI. Ele também
-
FortCUDA Livre
Este projeto é para as vinculações CUDA em F95/2003 utilizando o módulo fortran 2003 ISO_C_BINDINGS. Destina-se a dar sintaxe de chamada quase nativa para o CUDA SDK no Fortran 2003. Atualmente, a maioria dos compiladores for
-
Neurophysiology Analysis Toolkit Livre
Um pacote de código aberto para análise de dados neurofisiológicos-- processamento offline (vs em tempo real) de trens de pico de neurônio único ou dados EEG associados a processos de comportamento e memória. Atualmente o MAT
-
Lojban Glossary Builder Livre
Programa Java para criar um glossário (potencialmente multilíngue) das palavras únicas em qualquer texto Lojban.
-
Eclipse XML based SRS Livre
O EMF 2.0 gerou plugin Eclipse para produzir um XML Baseado, Use Case centric, Especificação de Requisitos de Software com vinculação a documentos externos e componentes de software resultantes. Gera relatórios html sofistica
-
Fitnium Livre
Combinação de FitNesse e Selenium, fornecendo um langauge específico de domínio que permite que nenhum desenvolvedor escreva testes de selênio em inglês simples que são executados através da estrutura Fitnesse. Http://groups.
-
Kyumo: Kyu Jong Memo Widget Avaliação gratuita
Recurso:- Você pode colocar vários memorandos na sua tela- Desde./Para. contagem diária/contagem regressiva suportada- 3 cores podem ser escolhidas - Conjunto de ícones de Kyu Jong e SS501- Quando a contagem regre
-
The Pirate Bay Browser Livre
Este aplicativo não recupera nenhuma informação pessoal do dispositivo***Anúncios são o que mantêm este aplicativo livre, a permissão gps é exigida pela função de anúncios, isso só aciona para que os anúncios funcionem para d
-
axdistcc Livre
axdistcc é um pequeno liveCD com o distcc, torna possível uma criação fácil de uma fazenda de compilação. Ele usa como sistema base o Slackware Linux 11.0 e um scripts linux-live modificados.