Theorem prover from Microsoft Research.
Udgiverens beskrivelse (engelsk)
Hvad er z3?
z3 er open source-software til Windows (kategori: Terminaler og CLI-værktøjer).
Installation og systemkrav
Udgiveren tilbyder installationsfiler til 64-bit, ARM64 og 32-bit (Portabel). Programmet kører uden installation (portabelt).
Popularitet og filtyper
Chocolatey-pakken er downloadet 16.496 gange. Lignende programmer er for eksempel PowerShell, QPDF og Oh My Posh.
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: z3 er et værktøj med åben kildekode i kategorien Terminaler og CLI-værktøjer til pc’er med 64-bit, ARM64 og 32-bit.
Er det sikkert at downloade z3?
- Filen leveres af github.com, udgiverens eget domæne
- Downloadlinket bruger HTTPS
- Der er offentliggjort en SHA256-hash, så du kan kontrollere filen:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Å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 ›| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 5.3.1Nyeste | — | ARM64 ZIP64-bit ZIP32-bit ZIP |
Installér fra kommandolinjen
Lydløs installation ›choco install z3 -yscoop install main/z3Programfiler (.exe): z3.exe
Relateret vejledning: winget: installer og opdater programmer i Windows
Findes også til andre systemer
brew install z3Information
- Kategori
- Terminaler og CLI-værktøjer
- Licens
- MIT
- Pris
- Gratis
- Kildekode
- github.com
- Kræver
- Windows 11 / 10
- Arkitektur
- 64-bit, ARM64, 32-bit
- Installationsfil
- Portabel
- Version
- 5.3.1
- Registrerede versioner
- 1
- Downloads via Chocolatey
- 16.496
- Websted
- github.com
- Chocolatey-pakke
- z3
- Scoop-pakke
- main/z3
Bedømmelser og anmeldelser
Ingen anmeldelser endnu. Vær den første til at bedømme programmet.
Alternativer til z3
Se alle ›-
Open source689,6 t ↓ -
Open source2,1 mio. ↓ -
Open source820,8 t ↓ -
Open source1,5 mio. ↓ -
Open source5,3 mio. ↓ -
Open source75,9 t ↓ -
Open source290,1 t ↓ -
Open source112,5 t ↓
Ofte stillede spørgsmål
Er z3 gratis?
Ja. z3 er open source-software under licensen MIT.
Er det sikkert at downloade z3?
Filen kommer fra github.com, som tilhører udgiveren; ExeAtlas hoster eller ændrer den ikke. Sammenlign filens SHA256-hash med den, der vises her, eller åbn VirusTotal-rapporten for hashen.
Kører z3 på ARM (Windows on Arm)?
Ja, der findes en indbygget ARM64-installationsfil.
Kan jeg bruge z3 uden administratorrettigheder?
Ja, programmet er portabelt: pak det ud, og start det.
Hvilke alternativer findes der til z3?
PowerShell, QPDF, Oh My Posh, yq og PuTTY. Siden med alternativer sammenligner dem.
