Dolphin Project 0.1.1
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
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 destina-se a ser um projeto de investigação agregando ferramentas relacionadas com ferramentas e ferramentas de Solver de Satisfiability Open Source relacionadas com eles, como verificadores de modelos limitados e verificadores de software.
Programas Relacionados
-
Object Kernel and RunTime Library Grátis
Esta é uma pequena biblioteca educativa: pequenas conversas como objetos, alocador de memória rápida, rede marshall/unmarshall, módulo dinâmico, depurador, ligação rápida e suja de duas vias entre os nossos objetos e objetos
-
College StatsPac Calculator Grátis
Espere mais do que gráfico! - Reembolso total, 24 horas se não estiver satisfeito com a App!^_^!-Estatísticas abrangentes...-com pacote de gráfico completo...O StatsPac oferece:8 Funções de probabilidade discretas,7
-
TOEIC () 600 Grátis
Logitalk (Escuta) - (TOEIC) 600.(Ouvir) . .e #39; TOEIC () 600 e #39; 600 ..SCRIPT .Logitalk? , , .
-
UniquePrimer Grátis
Um simples script de linha de comando python para design de lote de primers exclusivos do PCR. Os primers são projetados com primer3 e disparados contra uma base de dados personalizada (por exemplo, um genoma). Apenas os pr
-
A Prosperous Way Down Julgamento Gratuito
A Prosperous Way Down, publicado pela University Press of ColoradoCompre este ebook sem DRM hoje! Movido por Aldiko.A Prosperous Way Down considera formas de um futuro com menos combustíveis fósseis poder ser pacífico
-
DICOM Confidential Grátis
O projeto DICOM Confidential desenvolve um kit de ferramentas de descomidência DICOM (Digital Imaging and Communications in Medicine) que proporciona a flexibilidade necessária para responder a diferentes requisitos de des-id
-
MPVS Grátis
Ferramenta prática para ajudar os alunos a entender profundamente a metodologia de programação clássica baseada em especificações, invariantes de loop e decomposição em subproblems.
-
DuMP3 - duplicate & similar file finder Grátis
DuMP3 é um gravador de ficheiros duplicado e similar. Encontra binários duplicados exatos por haxixe, ficheiros de texto semelhantes por conteúdo sub-apurado, imagens (JPG, BMP, GIF, PNG, etc) por ficheiros de cores e áudio (
-
AU FLUKA Tools Grátis
Fornece ferramentas auxiliares para o código de transporte de partículas de Monte Carlo FLUKA (www.fluka.org).
-
STAS Software Grátis
STASS significa Software de Tratamento de Som, Análise e Síntese. Proporcionará ingeneers e pesquisadores de fácil utilização, bem como ferramentas performantes para análise de som (espectro, sona e assim por diante), tratame