Populært: Data opdateret 26. oktober 2026

Kategorier

Internet1.355
Kommunikation321
Lyd og video898
Grafik og design539
Kontor og produktivitet1.120
Udviklerværktøjer3.132
AI-værktøjer527
Sikkerhed og privatliv385
Systemværktøjer3.113
Spil523
Uddannelse og videnskab239
Netværk og IT284

Download cvc5 1.4.2 til Windows

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

Pakkeadministratorer og opdateringsværktøjer

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

Udgiverens beskrivelse (engelsk)

Hvad er cvc5?

cvc5 er open source-software til Windows (kategori: Pakkeadministratorer og opdateringsværktøjer).

Installation og systemkrav

Udgiveren tilbyder installationsfiler til 64-bit og ARM64 (Portabel). Programmet kører uden installation (portabelt).

Fordele / Ulemper

Fordele

  • Open source: alle kan gennemse og kompilere koden
  • Indbygget ARM64-version til Windows on Arm
  • Portabelt: kører uden installation

Kort sagt: cvc5 er et værktøj med åben kildekode i kategorien Pakkeadministratorer og opdateringsværktøjer til pc’er med 64-bit og ARM64.

Er det sikkert at downloade cvc5?

  • Filen leveres af github.com; kontrollér, at det er udgiverens officielle spejl
  • Downloadlinket bruger HTTPS
  • Der er offentliggjort en SHA256-hash, så du kan kontrollere filen: 9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3 · Åbn VirusTotal-rapporten for denne hash
  • Linket er ikke kontrolleret endnu
  • Kildekoden er offentlig
  • ExeAtlas hoster, indpakker eller ændrer ikke installationsfiler

Relateret vejledning: Sådan tjekker du en fils SHA256-hash i Windows

Nyeste versioner

Alle 1 versioner ›
VersionDatoStørrelseFiler
1.4.2Nyeste — 64-bit ZIPARM64 ZIP

Installér fra kommandolinjen

Lydløs installation ›
PowerShell
scoopscoop install main/cvc5

Programfiler (.exe): cvc5.exe

Relateret vejledning: winget: installer og opdater programmer i Windows

Information

Kategori
Pakkeadministratorer og opdateringsværktøjer
Licens
BSD-3-Clause
Pris
Gratis
Kræver
Windows 11 / 10
Arkitektur
64-bit, ARM64
Installationsfil
Portabel
Version
1.4.2
Registrerede versioner
1
Websted
cvc5.github.io
Scoop-pakke
main/cvc5

Bedømmelser og anmeldelser

–
0 bedømmelser
50
40
30
20
10
Bedøm programmet

Ingen anmeldelser endnu. Vær den første til at bedømme programmet.

Alternativer til cvc5

Se alle ›
  • Chocolatey2.7.4.0Pakkeadministratorer og opdateringsværktøjer · Chocolatey Software, Inc.
    Open source386,2 mio. ↓
  • NuGet7.9.0Pakkeadministratorer og opdateringsværktøjer · Microsoft Corporation
    Open source2,6 mio. ↓
  • uv0.13.5Pakkeadministratorer og opdateringsværktøjer · Astral Software Inc.
    Open source183 t ↓
  • Conan Package Manager2.33.0Pakkeadministratorer og opdateringsværktøjer · JFrog
    Open source257,3 t ↓
  • UniGetUI (formerly WingetUI) - Pre-Release3.3.7-beta1Pakkeadministratorer og opdateringsværktøjer · Martí Climent
    Open source78,1 t ↓
  • UniGetUI2026.3.2Pakkeadministratorer og opdateringsværktøjer · Devolutions inc.
    Open source3,9 t ↓
  • topgrade17.14.1Pakkeadministratorer og opdateringsværktøjer · topgrade-rs
    Open source9,8 t ↓
  • rig0.11.0Pakkeadministratorer og opdateringsværktøjer · Posit Software, PBC
    Open source15 t ↓

Ofte stillede spørgsmål

Er cvc5 gratis?

Ja. cvc5 er open source-software under licensen BSD-3-Clause.

Er det sikkert at downloade cvc5?

Filen kommer fra github.com; ExeAtlas hoster eller ændrer den ikke. Sammenlign filens SHA256-hash med den, der vises her, eller åbn VirusTotal-rapporten for hashen.

Kører cvc5 på ARM (Windows on Arm)?

Ja, der findes en indbygget ARM64-installationsfil.

Kan jeg bruge cvc5 uden administratorrettigheder?

Ja, programmet er portabelt: pak det ud, og start det.

Denne side på andre sprog

Rapportér en fejl

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