Theorem prover from Microsoft Research.
Utgivarens beskrivning (engelska)
Vad är z3?
z3 är programvara med öppen källkod för Windows (kategori: Terminaler och CLI-verktyg).
Installation och systemkrav
Utgivaren erbjuder installationsfiler för 64-bitars, ARM64 och 32-bitars (Portabel). Programmet körs utan installation (portabelt).
Popularitet och filtyper
Chocolatey-paketet har laddats ner 16 496 gånger. Liknande program är till exempel PowerShell, QPDF och Oh My Posh.
Fördelar / Nackdelar
Fördelar
- Öppen källkod: vem som helst kan granska och kompilera koden
- Inbyggd ARM64-version för Windows on Arm
- Portabelt: körs utan installation
Kort sagt: z3 är ett verktyg med öppen källkod i kategorin Terminaler och CLI-verktyg för datorer med 64-bitars, ARM64 och 32-bitars.
Är det säkert att ladda ner z3?
- Filen levereras av github.com, utgivarens egen domän
- Nedladdningslänken använder HTTPS
- En SHA256-hash är publicerad, så att du kan kontrollera filen:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Öppna VirusTotal-rapporten för den här hashen - Länken har inte kontrollerats än
- Källkoden är offentlig
- ExeAtlas varken lagrar, kapslar in eller ändrar installationsfiler
Relaterad guide: Kontrollera en fils SHA256-hash i Windows
Senaste versionerna
Alla 1 versioner ›| Version | Datum | Storlek | Filer |
|---|---|---|---|
| 5.3.1Senaste | — | ARM64 ZIP64-bitars ZIP32-bitars ZIP |
Installera från kommandoraden
Tyst installation ›choco install z3 -yscoop install main/z3Programfiler (.exe): z3.exe
Relaterad guide: Så använder du winget: installera och uppdatera
Även för andra system
brew install z3Information
- Kategori
- Terminaler och CLI-verktyg
- Licens
- MIT
- Pris
- Gratis
- Källkod
- github.com
- Kräver
- Windows 11 / 10
- Arkitektur
- 64-bitars, ARM64, 32-bitars
- Installationsfil
- Portabel
- Version
- 5.3.1
- Listade versioner
- 1
- Nedladdningar via Chocolatey
- 16 496
- Webbplats
- github.com
- Chocolatey-paket
- z3
- Scoop-paket
- main/z3
Betyg och recensioner
Inga recensioner än. Bli först med att betygsätta programmet.
Alternativ till z3
Visa alla ›-
Öppen källkod689,6 tn ↓ -
Öppen källkod2,1 mn ↓ -
Öppen källkod820,8 tn ↓ -
Öppen källkod1,5 mn ↓ -
Öppen källkod5,3 mn ↓ -
Öppen källkod75,9 tn ↓ -
Öppen källkod290,1 tn ↓ -
Öppen källkod112,5 tn ↓
Vanliga frågor
Är z3 gratis?
Ja. z3 är programvara med öppen källkod under licensen MIT.
Är det säkert att ladda ner z3?
Filen kommer från github.com, som tillhör utgivaren; ExeAtlas varken lagrar eller ändrar den. Jämför filens SHA256-hash med den som visas här, eller öppna VirusTotal-rapporten för hashen.
Fungerar z3 på ARM (Windows on Arm)?
Ja, det finns en inbyggd ARM64-installationsfil.
Kan jag använda z3 utan administratörsbehörighet?
Ja, programmet är portabelt: packa upp och starta.
Vilka alternativ finns till z3?
PowerShell, QPDF, Oh My Posh, yq och PuTTY. Sidan med alternativ jämför dem.
