Populært: Data opdateret 31. oktober 2026

Kategorier

Internet1.361
Kommunikation321
Lyd og video903
Grafik og design543
Kontor og produktivitet1.120
Udviklerværktøjer3.139
AI-værktøjer534
Sikkerhed og privatliv388
Systemværktøjer3.126
Spil524
Uddannelse og videnskab239
Netværk og IT283

Download cvc5 1.4.2

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

Dette er den nyeste version.

Installationsfiler 1.4.2

ArkitekturTypeOmfangFilstørrelseDownloadSHA256
64-bit ZIP → Portabel — — github.com VirusTotal
ARM64 ZIP → Portabel — — github.com VirusTotal

Link og SHA256 stammer fra fællesskabets manifest i Windows Package Manager. Sammenlign hashen for den downloadede fil, før du kører den.

Mest populære i Pakkeadministratorer og opdateringsværktøjer

Se alle
  1. ChocolateyPakkeadministratorer og opdateringsværktøjer · Chocolatey Software, Inc.
  2. NuGetPakkeadministratorer og opdateringsværktøjer · Microsoft Corporation
  3. uvPakkeadministratorer og opdateringsværktøjer · Astral Software Inc.
  4. Chocolatey GUIPakkeadministratorer og opdateringsværktøjer · Chocolatey
  5. Conan Package ManagerPakkeadministratorer og opdateringsværktøjer · JFrog
  6. UniGetUI (formerly WingetUI) - Pre-ReleasePakkeadministratorer og opdateringsværktøjer · Martí Climent
  7. UniGetUIPakkeadministratorer og opdateringsværktøjer · Devolutions inc.
  8. topgradePakkeadministratorer og opdateringsværktøjer · topgrade-rs
  9. ghostscriptPakkeadministratorer og opdateringsværktøjer
  10. rigPakkeadministratorer og opdateringsværktøjer · Posit Software, PBC

Tags

Del