Parallel Sat4J 0.01
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/parallelsat4j/files/parallelsat4j/0.01/org.tar.gz/download
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