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

Dolphin Project 0.1.1

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.5/5 - ‎2 ‎votos
Baixar

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.

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 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