Theorem prover from Microsoft Research.
Utgiverens beskrivelse (engelsk)
Hva er z3?
z3 er programvare med åpen kildekode for Windows (kategori: Terminaler og kommandolinje).
Installasjon og systemkrav
Utgiveren tilbyr installasjonsfiler for 64-bit, ARM64 og 32-bit; filformater: Portabel. Programmet kjører uten installasjon (portabelt).
Popularitet og filtyper
Chocolatey-pakken er lastet ned 16 496 ganger. Lignende programmer er blant annet PowerShell, QPDF og Oh My Posh.
Fordeler / Ulemper
Fordeler
- Åpen kildekode: hvem som helst kan se gjennom og bygge koden
- Egen ARM64-versjon for Windows on Arm
- Portabelt: kjører uten installasjon
Kort sagt: z3 er et verktøy med åpen kildekode i kategorien Terminaler og kommandolinje for PC-er med 64-bit, ARM64 og 32-bit.
Er det trygt å laste ned z3?
- Filen leveres av github.com, utgiverens eget domene
- Nedlastingslenken bruker HTTPS
- En SHA256-sum er publisert, så du kan kontrollere filen:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Åpne VirusTotal-rapporten for denne sjekksummen - Lenken er ikke sjekket ennå
- Kildekoden er offentlig
- ExeAtlas lagrer, pakker inn eller endrer aldri installasjonsfiler
Relatert veiledning: Slik sjekker du SHA256-summen til en fil i Windows
Nyeste versjoner
Alle 1 versjon ›| Versjon | Dato | Størrelse | Filer |
|---|---|---|---|
| 5.3.1Nyeste | — | ARM64 ZIP64-bit ZIP32-bit ZIP |
Installer fra kommandolinjen
Stille installasjon ›choco install z3 -yscoop install main/z3Programfiler (.exe): z3.exe
Relatert veiledning: winget: installer og oppdater programmer i Windows
Finnes også for andre systemer
brew install z3Informasjon
- Kategori
- Terminaler og kommandolinje
- Lisens
- MIT
- Pris
- Gratis
- Kildekode
- github.com
- Krav
- Windows 11 / 10
- Arkitektur
- 64-bit, ARM64, 32-bit
- Installasjonsfil
- Portabel
- Versjon
- 5.3.1
- Registrerte versjoner
- 1
- Chocolatey-nedlastinger
- 16 496
- Nettsted
- github.com
- Chocolatey-pakke
- z3
- Scoop-pakke
- main/z3
Vurderinger og anmeldelser
Ingen anmeldelser ennå. Bli den første til å gi en vurdering.
Alternativer til z3
Se alle ›-
Åpen kildekode689,6k ↓ -
Åpen kildekode2,1 mill. ↓ -
Åpen kildekode820,8k ↓ -
Åpen kildekode1,5 mill. ↓ -
Åpen kildekode5,3 mill. ↓ -
Åpen kildekode75,9k ↓ -
Åpen kildekode290,1k ↓ -
Åpen kildekode112,5k ↓
Ofte stilte spørsmål
Er z3 gratis?
Ja. z3 er programvare med åpen kildekode under lisensen MIT.
Er det trygt å laste ned z3?
Filen lastes ned fra github.com, som tilhører utgiveren; ExeAtlas verken lagrer eller endrer den. Sammenlign SHA256-summen for filen med den som vises her, eller åpne VirusTotal-rapporten for sjekksummen.
Kjører z3 på ARM (Windows on Arm)?
Ja, det finnes en egen ARM64-installasjonsfil.
Kan jeg bruke z3 uten administratorrettigheter?
Ja, programmet er portabelt: pakk ut og kjør.
Hvilke alternativer finnes til z3?
PowerShell, QPDF, Oh My Posh, yq og PuTTY. Siden med alternativer sammenligner dem.
