Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. RedSam

RedSam

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos
Baixar

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

história da versão

  • Versão RedSam postado em 2008-03-26
    Várias correções e atualizações
  • Versão N/A postado em 2008-03-26

Detalhes do programa

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.