Dolphin Project 0.1.1
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/dolphin-project/files/Dolphin%20SAT/Dolphin%20SAT%200.1.1/dsat-0.1.1.tar.gz/download
Sobre Dolphin Project
O Dolphin Project pretende ser um projeto de pesquisa agregando ferramentas relacionadas às ferramentas e ferramentas do Open Source Satisfiability Solver relacionadas a eles, como Verificadores de Modelos Delimitados e Verificadores de Software.
Programas Relacionados
-
Object Kernel and RunTime Library Livre
Esta é uma pequena biblioteca educacional : pequenos talos como objetos, alocador de memória rápida, marshall de rede/unmarshall, módulo dinâmico, depuração, ligação bidireível e suja entre nossos objetos e objetos mozilla ja
-
College StatsPac Calculator Livre
Espere mais do que grafing! - Reembolso total, 24 horas se não estiver satisfeito com o App!^_^!-Estatísticas Abrangentes--com pacote gráfico completo-O StatsPac oferece:8 Funções de Probabilidade Discretas,7 Funçõe
-
TOEIC () 600 Livre
Logitalk (Escuta) - (TOEIC) 600.(Escuta) . .e #39; TOEIC () 600 e #39; 600 ..Script.O Logitalk? , , .
-
UniquePrimer Livre
Um simples script de linha de comando python para o design em lote de primers PCR exclusivos. Os primers são projetados usando Primer3 e explodidos contra um banco de dados personalizado (por exemplo, um genoma). Apenas pri
-
A Prosperous Way Down Avaliação gratuita
A Prosperous Way Down, publicado pela University Press of ColoradoCompre este ebook sem DRM hoje! Alimentado por Aldiko.Um Caminho Próspero considera maneiras pelas quais um futuro com menos combustível fóssil poderia
-
DICOM Confidential Livre
O projeto DICOM Confidential desenvolve um kit de ferramentas de de identificação DICOM (Digital Imaging and Communications in Medicine) de código aberto que fornece a flexibilidade necessária para contabilizar diferentes req
-
MPVS Livre
Ferramenta prática para ajudar os alunos a entender profundamente a metodologia clássica de programação com base em especificações, invariantes de loop e decomposição em subproblemas.
-
DuMP3 - duplicate & similar file finder Livre
DuMP3 é um localizador de arquivos duplicado e similar. Ele encontra binários duplicados exatos por hash, arquivos de texto semelhantes por conteúdo de substring, imagens (JPG, BMP, GIF, PNG, etc) por arquivos de cor e áudio
-
AU FLUKA Tools Livre
Fornece ferramentas auxiliares para o código de transporte de partículas de Monte Carlo FLUKA (www.fluka.org).
-
STAS Software Livre
STASS significa Software de Tratamento de Som, Análise e Síntese. Ele fornecerá ingenuidades e buscadores fáceis de usar, bem como ferramentas performáticas para análise de som (espectro, sona e assim por diante), tratamento