Her er 1 versioner af z3, fra til den aktuelle 5.3.1. Hver version linker til udgiverens egne installationsfiler.
| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 5.3.1Nyeste | — | 64-bit ZIPARM64 ZIP32-bit ZIP |
z3: download ældre versioner
Theorem prover from Microsoft Research.
- LicensOpen source
- Version5.3.1
- KræverWindows 10, 11
- Downloads via Chocolatey16,5 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 -
AlacrittyTerminaler og CLI-værktøjer · Alacritty -
fzfTerminaler og CLI-værktøjer · Junegunn Choi -
PuTTYTerminaler og CLI-værktøjer · Simon Tatham -
cURLTerminaler og CLI-værktøjer · curl -
TabbyTerminaler og CLI-værktøjer · Tabby Developers