Her er 1 versioner af z3, fra 1. november 2026 til den aktuelle 5.3.3. Hver version linker til udgiverens egne installationsfiler.
| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 5.3.3Nyeste | 1. november 2026 | — | 64-bit ZIPARM64 ZIP32-bit ZIP |
z3: download ældre versioner
Theorem prover from Microsoft Research.
- LicensOpen source
- Version5.3.3
- KræverWindows 10, 11
- Udgivet1. november 2026
- Downloads via Chocolatey17 t
Mest populære i Terminaler og CLI-værktøjer
Se alle-
PowerShellTerminaler og CLI-værktøjer · Microsoft Corporation -
QPDFTerminaler og CLI-værktøjer · QPDF -
Oh My PoshTerminaler og CLI-værktøjer · Jan De Dobbeleer -
Microsoft Azure CLITerminaler og CLI-værktøjer · Microsoft Corporation -
yqTerminaler og CLI-værktøjer · Mike Farah -
fzfTerminaler og CLI-værktøjer · Junegunn Choi -
AlacrittyTerminaler og CLI-værktøjer · Alacritty -
PuTTYTerminaler og CLI-værktøjer · Simon Tatham -
cURLTerminaler og CLI-værktøjer · curl -
TabbyTerminaler og CLI-værktøjer · Tabby Developers