z3 programının 1 Kasım 2026 ile güncel 5.3.3 arasındaki 1 sürümü burada. Her sürüm, yayıncının kendi kurulum dosyasına bağlanır.
| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 5.3.3Güncel | 1 Kasım 2026 | — | 64 bit ZIPARM64 ZIP32 bit ZIP |
z3 eski sürümleri ve tüm sürümler
Theorem prover from Microsoft Research.
- LisansAçık kaynak
- Sürüm5.3.3
- GereksinimWindows 10, 11
- Çıkış tarihi1 Kasım 2026
- Chocolatey indirmesi16,9 B
Terminal ve komut satırı: en popüler
Tümünü gör-
PowerShellTerminal ve komut satırı · Microsoft Corporation -
QPDFTerminal ve komut satırı · QPDF -
Oh My PoshTerminal ve komut satırı · Jan De Dobbeleer -
Microsoft Azure CLITerminal ve komut satırı · Microsoft Corporation -
yqTerminal ve komut satırı · Mike Farah -
AlacrittyTerminal ve komut satırı · Alacritty -
fzfTerminal ve komut satırı · Junegunn Choi -
PuTTYTerminal ve komut satırı · Simon Tatham -
cURLTerminal ve komut satırı · curl -
TabbyTerminal ve komut satırı · Tabby Developers