RedSam
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/redsam/files/redsam/RedSam/RedSamV1.zip/download
Sobre RedSam
Problemas de satisfação de restrição Solver para restrições binárias, ficheiros de entrada em XML com o formato atual XCSP 2.1, adotado para a competição de solver CSP/MaxCSP/WCSP de 2008. O solucionador está em C++ e usa a biblioteca boost
Programas Relacionados
-
VSource PHP Image Reflection Script Grátis
Este PhP Image Reflection Script irá desafetar uma imagem com uma reflexão gerada Basta um parâmetro de imagem entre outros parâmetros e produz uma imagem crua para exibição num browser. Suporta formatos de entrada: GIF, JPG,
-
wmpower Grátis
wmpower é uma aplicação de doca window Maker para Linux, permitindo ao utilizador ver (e definir) o estado de gestão de energia do seu portátil. Escrito em C, trabalha com núcleos APM e ACPI ativados. Também interage diretame
-
FortCUDA Grátis
Este projeto destina-se a encadernações CUDA em F95/2003 utilizando o módulo de ISO_C_BINDINGS Fortran 2003. Destina-se a dar quase uma sintaxe de chamada nativa à CUDA SDK em Fortran 2003. Atualmente, a maioria dos compilado
-
Neurophysiology Analysis Toolkit Grátis
Um pacote de código aberto para análise de dados neurofisiológicos-- processamento offline (vs em tempo real) de comboios de pico de neurónios únicos ou dados de EEG associados a processos de comportamento e memória. Atualmen
-
Lojban Glossary Builder Grátis
Programa java para criar um glossário (potencialmente multilinguês) das palavras únicas em qualquer texto lojban.
-
Eclipse XML based SRS Grátis
Emf 2.0 gerou plugin Eclipse para produzir um plugin de teste baseado em XML, uso centrado em caso, especificação de requisitos de software com ligação a documentos externos e componentes de software resultantes. Gera relatór
-
Fitnium Grátis
Combinação de FitNesse e Selénio, 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.g
-
Kyumo: Kyu Jong Memo Widget Julgamento Gratuito
Característica:- Pode colocar vários memorandos no seu ecrã- Desde./Para. contagem/contagem do dia suportada- 3 cores podem ser escolhidos - Conjunto de ícones de Kyu Jong e SS501- Quando a contagem regressiva par
-
The Pirate Bay Browser Grátis
Esta aplicação não recupera nenhuma informação pessoal do dispositivo***Os anúncios são o que mantém esta aplicação gratuita, a permissão de GPS é exigida pela função de anúncios, isto apenas dispara para que a função de anún
-
axdistcc Grátis
axdistcc é um pequeno liveCD com o distcc, torna possível uma criação fácil de uma fazenda de compilação. Utiliza como sistema base o Slackware Linux 11.0 e um linux-live modificado.