I più scaricati: Dati aggiornati al 27 ottobre 2026

Categorie

Internet1356
Comunicazione321
Audio e video898
Grafica e design539
Ufficio e produttività1124
Strumenti di sviluppo3134
Strumenti di IA529
Sicurezza e privacy385
Strumenti di sistema3114
Giochi523
Istruzione e scienza239
Rete e IT284

cvc5: versioni precedenti da scaricare

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

Gestori di pacchetti e aggiornamenti

Qui sono elencate 1 versione di cvc5, dalla prima () fino all’attuale 1.4.2. Ognuna rimanda ai file di installazione del produttore.

VersioneDataDimensioneFile
1.4.2Ultima versione — 64 bit ZIPARM64 ZIP

Il più popolare in Gestori di pacchetti e aggiornamenti

Vedi tutti
  1. ChocolateyGestori di pacchetti e aggiornamenti · Chocolatey Software, Inc.
  2. NuGetGestori di pacchetti e aggiornamenti · Microsoft Corporation
  3. uvGestori di pacchetti e aggiornamenti · Astral Software Inc.
  4. Chocolatey GUIGestori di pacchetti e aggiornamenti · Chocolatey
  5. Conan Package ManagerGestori di pacchetti e aggiornamenti · JFrog
  6. UniGetUI (formerly WingetUI) - Pre-ReleaseGestori di pacchetti e aggiornamenti · Martí Climent
  7. UniGetUIGestori di pacchetti e aggiornamenti · Devolutions inc.
  8. topgradeGestori di pacchetti e aggiornamenti · topgrade-rs
  9. ghostscriptGestori di pacchetti e aggiornamenti
  10. rigGestori di pacchetti e aggiornamenti · Posit Software, PBC

Tag

Condividi