У спісе 1 версія праграмы z3, бягучая — 5.3.1. Кожная версія вядзе на ўсталёўшчыкі з сервера распрацоўшчыка.
| Версія | Дата | Памер | Файлы |
|---|---|---|---|
| 5.3.1Апошняя | — | 64-біт ZIPARM64 ZIP32-біт ZIP |
z3: спампаваць старыя версіі
Theorem prover from Microsoft Research.
- ЛіцэнзіяАдкрыты код
- Версія5.3.1
- ПатрабаванніWindows 10, 11
- Спампоўкі Chocolatey16,5 тыс.
Самае папулярнае ў катэгорыі «Тэрміналы і CLI»
Паказаць усе-
PowerShellТэрміналы і CLI · Microsoft Corporation -
QPDFТэрміналы і CLI · QPDF -
Oh My PoshТэрміналы і CLI · Jan De Dobbeleer -
Microsoft Azure CLIТэрміналы і CLI · Microsoft Corporation -
yqТэрміналы і CLI · Mike Farah -
AlacrittyТэрміналы і CLI · Alacritty -
fzfТэрміналы і CLI · Junegunn Choi -
PuTTYТэрміналы і CLI · Simon Tatham -
cURLТэрміналы і CLI · curl -
TabbyТэрміналы і CLI · Tabby Developers