Populares: Dados atualizados em 27 de outubro de 2026

Categorias

Internet1.356
Comunicação321
Áudio e vídeo898
Gráficos e design539
Escritório e produtividade1.124
Programação3.134
Inteligência artificial529
Segurança e privacidade385
Ferramentas do sistema3.114
Jogos523
Educação e ciência239
Redes e TI284

cvc5: baixar versões antigas

An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Gerenciadores de pacotes e atualizadores

Estão listadas 1 versões de cvc5, de até a atual, 1.4.2. Cada uma aponta para os instaladores do próprio desenvolvedor.

VersãoDataTamanhoArquivos
1.4.2Última versão — 64 bits ZIPARM64 ZIP

Mais popular em Gerenciadores de pacotes e atualizadores

Ver tudo
  1. ChocolateyGerenciadores de pacotes e atualizadores · Chocolatey Software, Inc.
  2. NuGetGerenciadores de pacotes e atualizadores · Microsoft Corporation
  3. uvGerenciadores de pacotes e atualizadores · Astral Software Inc.
  4. Chocolatey GUIGerenciadores de pacotes e atualizadores · Chocolatey
  5. Conan Package ManagerGerenciadores de pacotes e atualizadores · JFrog
  6. UniGetUI (formerly WingetUI) - Pre-ReleaseGerenciadores de pacotes e atualizadores · Martí Climent
  7. UniGetUIGerenciadores de pacotes e atualizadores · Devolutions inc.
  8. topgradeGerenciadores de pacotes e atualizadores · topgrade-rs
  9. ghostscriptGerenciadores de pacotes e atualizadores
  10. rigGerenciadores de pacotes e atualizadores · Posit Software, PBC

Tags

Compartilhar