Theorem prover from Microsoft Research.
Beschrijving van de uitgever (Engels)
Wat is z3?
z3 is opensource software voor Windows (categorie: Terminals & opdrachtregel).
Installatie en systeemeisen
De uitgever levert installers voor 64-bits, ARM64 en 32-bits (Portable). Het programma werkt zonder installatie (portable).
Populariteit en bestandstypen
Het Chocolatey-pakket is 16.496 keer gedownload. Vergelijkbare programma’s zijn onder meer PowerShell, QPDF en Oh My Posh.
Voordelen / Nadelen
Voordelen
- Open source: iedereen kan de code inzien en zelf compileren
- Native ARM64-versie voor Windows on Arm
- Portable: werkt zonder installatie
Kort gezegd: z3 is een opensource tool uit de categorie Terminals & opdrachtregel voor pc’s met 64-bits, ARM64 en 32-bits.
Is z3 veilig om te downloaden?
- Het bestand komt van github.com, een domein van de uitgever zelf
- De downloadlink gebruikt HTTPS
- Er is een SHA256-hash gepubliceerd, dus het bestand is te controleren:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Open het VirusTotal-rapport voor deze hash - De link is nog niet gecontroleerd
- De broncode is openbaar
- ExeAtlas host, verpakt of wijzigt geen installers
Gerelateerde handleiding: SHA256-hash van een bestand controleren in Windows
Recente versies
Alle 1 versies ›| Versie | Datum | Grootte | Bestanden |
|---|---|---|---|
| 5.3.1Nieuwste | — | ARM64 ZIP64-bits ZIP32-bits ZIP |
Installeren via de opdrachtregel
Stille installatie ›choco install z3 -yscoop install main/z3Programmabestanden (.exe): z3.exe
Gerelateerde handleiding: winget gebruiken: programma’s installeren en updaten
Ook voor andere systemen
brew install z3Informatie
- Categorie
- Terminals & opdrachtregel
- Licentie
- MIT
- Prijs
- Gratis
- Broncode
- github.com
- Vereist
- Windows 11 / 10
- Architectuur
- 64-bits, ARM64, 32-bits
- Installer
- Portable
- Versie
- 5.3.1
- Versies in de lijst
- 1
- Chocolatey-downloads
- 16.496
- Website
- github.com
- Chocolatey-pakket
- z3
- Scoop-pakket
- main/z3
Beoordelingen en reviews
Nog geen reviews. Geef als eerste een beoordeling.
Alternatieven voor z3
Alles bekijken ›-
Open source689,6K ↓ -
Open source2,1 mln. ↓ -
Open source820,8K ↓ -
Open source1,5 mln. ↓ -
Open source5,3 mln. ↓ -
Open source75,9K ↓ -
Open source290,1K ↓ -
Open source112,5K ↓
Veelgestelde vragen
Is z3 gratis?
Ja. z3 is opensourcesoftware onder de licentie MIT.
Is z3 veilig om te downloaden?
Het bestand komt van github.com, een domein van de uitgever zelf; ExeAtlas host of wijzigt het niet. Vergelijk de SHA256-hash van het gedownloade bestand met de hash op deze pagina, of open het VirusTotal-rapport voor die hash.
Werkt z3 op ARM (Windows on Arm)?
Ja, er is een native ARM64-installer.
Werkt z3 zonder beheerdersrechten?
Ja, het programma is portable: uitpakken en starten.
Wat zijn alternatieven voor z3?
PowerShell, QPDF, Oh My Posh, yq en PuTTY. De pagina met alternatieven vergelijkt ze.
