Këtu janë renditur 1 version të z3, nga deri te versioni aktual 5.3.1. Secili të çon te skedarët e instalimit të vetë botuesit.
| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 5.3.1I fundit | — | 64-bit ZIPARM64 ZIP32-bit ZIP |
z3: versionet e vjetra dhe historiku
Theorem prover from Microsoft Research.
- LicencaMe burim të hapur
- Versioni5.3.1
- KërkonWindows 10, 11
- Shkarkime në Chocolatey16,5 mijë
Më të njohurat në „Terminale dhe mjete CLI”
Shiko të gjitha-
PowerShellTerminale dhe mjete CLI · Microsoft Corporation -
QPDFTerminale dhe mjete CLI · QPDF -
Oh My PoshTerminale dhe mjete CLI · Jan De Dobbeleer -
Microsoft Azure CLITerminale dhe mjete CLI · Microsoft Corporation -
yqTerminale dhe mjete CLI · Mike Farah -
AlacrittyTerminale dhe mjete CLI · Alacritty -
fzfTerminale dhe mjete CLI · Junegunn Choi -
PuTTYTerminale dhe mjete CLI · Simon Tatham -
cURLTerminale dhe mjete CLI · curl -
TabbyTerminale dhe mjete CLI · Tabby Developers