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

RedSam

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos
Download

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

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 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.