Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. Dolphin Project

Dolphin Project 0.1.1

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

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.

história da versão

  • Versão Dolphin%20SAT%200.1.1 postado em 2008-03-02
    Várias correções e atualizações
  • Versão Dolphin SAT 0.1.1 postado em 2008-03-02

Detalhes do programa

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