እዚህ 1 የz3 ስሪቶች ተዘርዝረዋል፤ ከ እስከ አሁኑ 5.3.1 ድረስ። እያንዳንዱ ወደ አሳታሚው የራሱ የመጫኛ ፋይሎች ያገናኛል።
| ስሪት | ቀን | መጠን | ፋይሎች |
|---|---|---|---|
| 5.3.1የቅርብ ጊዜ ስሪት | — | 64-bit ZIPARM64 ZIP32-bit ZIP |
z3፦ ሁሉም ስሪቶች እና የቆዩ ስሪቶች
Theorem prover from Microsoft Research.
- ፈቃድክፍት ምንጭ
- ስሪት5.3.1
- የሚያስፈልገውWindows 10, 11
- የChocolatey ውርዶች16.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