Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. Parallel Sat4J
  5. Download

Parallel Sat4J 0.01

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

Sobre Parallel Sat4J

Este é um projeto acadêmico; o objetivo principal é gerar um algoritmo para paralelaizar uma fórmula CNF e, em seguida, alimentar as peças distribuídas para solucionadores sat sequenciais, para este projeto optamos por usar o Sat4J como solucionador.

Programas Relacionados

  • Visualgos Livre

    Visualgos é uma coleção de visualizações para algoritmos escritos em Flash. Você pode ver todas as visualizações em http://yuval.bar-or.org/index.php?item=7

  • wxWorkshop Livre

    WxWorkshop é uma estrutura IDE e uma ferramenta RAD para o desenvolvimento de aplicativos baseados na estrutura gui multiplataforma wxWidgets para C++ e Python (wxPython). Ele possui um editor de alto desempenho para projetar

  • Unit Test Framework Livre

    Uma estrutura de teste de unidade C++ para Windows com ambos display gráfico e console que utiliza apenas o API do Windows para ajudar a compatability com todos os Windows C++ compiladores e frameworks

  • Contact: AndroidBinding Demo Avaliação gratuita

    Esta é outra demonstração para Android Binding, que é baseada na amostra oficial do Gerenciador de Contatos android: http://developer.android.com/resources/samples/ContactManager/index.htmlEste é um exemplo mostrando como

  • Poetica Studios Java Library Livre

    Uma biblioteca Java geral usada por todos os produtos de software Poetica Studios Java. A biblioteca inclui utilitários que vão desde a serialização até arrays até a depuração e inclui muitas classes úteis, como ponteiros de

  • Remote Code Execution for BlueJ Livre

    Este projeto estende o BlueJ Java IDE. Ele tem como objetivo adicionar recursos de rede à interface BlueJ através da API de extensões da BlueJ. Como o BlueJ é mais adequado para ensinar Java a novos programadores, este projet

  • Radiation calculator Avaliação gratuita

    O aplicativo calcula as taxas de dose etc. assumindo uma fonte de ponto no vácuo e atenuação linear em materiais de proteção. Isótopos e materiais de proteção podem ser adicionados, excluídos ou modificados.As constantes

  • Fermion Programming Language Livre

    A Linguagem de Programação Fermion é uma dinâmica linguagem de programação insensível de alto nível, orientada a objetos. A simplicidade da língua faz da Fermion uma boa linguagem de aprendizado e prototipagem para todos os n

  • Nmdepend Livre

    Nmdepend é um analisador leve de dependência 'link-time' para C++. Ele usa arquivos de objetos e bibliotecas em vez de código-fonte como entrada. Pode ajudar a gerenciar dependências de "cross-directory". As dependências pode

  • Awakener Livre

    Awakener pretende fornecer uma biblioteca Java para resolver problemas práticos de otimização do mundo real por meio de algoritmos genéticos (algoritmos turnkey para >= 90% dos problemas da indústria). Awakener estende Son