Her finner du 1 versjon av z3, fra til gjeldende 5.3.1. Hver av dem lenker til utgiverens egne installasjonsfiler.
| Versjon | Dato | Størrelse | Filer |
|---|---|---|---|
| 5.3.1Nyeste | — | 64-bit ZIPARM64 ZIP32-bit ZIP |
z3: eldre versjoner og versjonshistorikk
Theorem prover from Microsoft Research.
- LisensÅpen kildekode
- Versjon5.3.1
- KravWindows 10, 11
- Chocolatey-nedlastinger16,5k
Mest populær i Terminaler og kommandolinje
Se alle-
PowerShellTerminaler og kommandolinje · Microsoft Corporation -
QPDFTerminaler og kommandolinje · QPDF -
Oh My PoshTerminaler og kommandolinje · Jan De Dobbeleer -
Microsoft Azure CLITerminaler og kommandolinje · Microsoft Corporation -
yqTerminaler og kommandolinje · Mike Farah -
AlacrittyTerminaler og kommandolinje · Alacritty -
fzfTerminaler og kommandolinje · Junegunn Choi -
PuTTYTerminaler og kommandolinje · Simon Tatham -
cURLTerminaler og kommandolinje · curl -
TabbyTerminaler og kommandolinje · Tabby Developers