Theorem prover from Microsoft Research.
የአሳታሚው መግለጫ (እንግሊዝኛ)
z3 ምንድነው?
z3 ለWindows የተሠራ ክፍት ምንጭ ሶፍትዌር ነው፤ ምድቡ “ተርሚናሎች እና CLI መሣሪያዎች” ነው።
መጫን እና የሚያስፈልጉ ነገሮች
አሳታሚው ለ64-bit፣ ARM64 እና 32-bit Windows ተንቀሳቃሽ (portable) ጫኚዎችን ያቀርባል። ሳይጫን ይሠራል (portable)።
ተወዳጅነት እና የፋይል አይነቶች
የChocolatey ጥቅሉ 16,496 ጊዜ ወርዷል። ተመሳሳይ ፕሮግራሞች PowerShell፣ QPDF እና Oh My Posh ናቸው።
ጥቅሞች / ጉዳቶች
ጥቅሞች
- ክፍት ምንጭ፦ ማንኛውም ሰው ኮዱን መመርመር እና መገንባት ይችላል
- ለWindows on Arm የራሱ የARM64 ስሪት
- ተንቀሳቃሽ (portable)፦ ሳይጫን ይሠራል
በአጭሩ: z3 ለ64-bit፣ ARM64 እና 32-bit ኮምፒውተሮች የተሠራ ክፍት ምንጭ የWindows መሣሪያ ነው፤ ምድቡ “ተርሚናሎች እና CLI መሣሪያዎች” ነው።
z3ን ማውረድ ደህንነቱ የተጠበቀ ነው?
- ፋይሉ የሚቀርበው ከgithub.com ነው፤ ይህ የአሳታሚው የራሱ ጎራ ነው
- የማውረጃ አገናኙ HTTPS ይጠቀማል
- የSHA256 ሃሽ ታትሟል፤ ስለዚህ ፋይሉን ማረጋገጥ ይችላሉ:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· ለዚህ ሃሽ የVirusTotal ሪፖርቱን ይክፈቱ - አገናኙ ገና አልተረጋገጠም
- የምንጭ ኮዱ ለሕዝብ ክፍት ነው
- ExeAtlas ጫኚዎችን አያስተናግድም፣ አይጠቀልልም፣ አይቀይርም
ተዛማጅ መመሪያ: የፋይልን SHA256 ሃሽ በWindows ላይ እንዴት ማረጋገጥ ይቻላል
የቅርብ ጊዜ ስሪቶች
1 ስሪት ›| ስሪት | ቀን | መጠን | ፋይሎች |
|---|---|---|---|
| 5.3.1የቅርብ ጊዜ | — | ARM64 ZIP64-bit ZIP32-bit ZIP |
ከትዕዛዝ መስመር ይጫኑ
ጸጥ ያለ ጭነት ›choco install z3 -yscoop install main/z3የፕሮግራም ፋይሎች (.exe): z3.exe
ተዛማጅ መመሪያ: winget እንዴት እንደሚጠቀሙ፦ ፕሮግራሞችን መጫን እና ማዘመን
ለሌሎች ሥርዓቶችም
brew install z3መረጃ
- ምድብ
- ተርሚናሎች እና CLI መሣሪያዎች
- ፈቃድ
- MIT
- ዋጋ
- ነፃ
- የምንጭ ኮድ
- github.com
- የሚያስፈልገው
- Windows 11 / 10
- አርክቴክቸር
- 64-bit, ARM64, 32-bit
- ጫኚ
- ተንቀሳቃሽ (portable)
- ስሪት
- 5.3.1
- የተዘረዘሩ ስሪቶች
- 1
- የChocolatey ውርዶች
- 16,496
- ድረ-ገጽ
- github.com
- የChocolatey ጥቅል
- z3
- የScoop ጥቅል
- main/z3
ደረጃዎች እና ግምገማዎች
እስካሁን ምንም ግምገማ የለም። ደረጃ የሚሰጡ የመጀመሪያው ይሁኑ።
የz3 አማራጮች
ሁሉንም ይመልከቱ ›-
ክፍት ምንጭ689.6 ሺ ↓ -
ክፍት ምንጭ2.1 ሚ ↓ -
ክፍት ምንጭ820.8 ሺ ↓ -
ክፍት ምንጭ1.5 ሚ ↓ -
ክፍት ምንጭ5.3 ሚ ↓ -
ክፍት ምንጭ75.9 ሺ ↓ -
ክፍት ምንጭ290.1 ሺ ↓ -
ክፍት ምንጭ112.5 ሺ ↓
ተደጋግመው የሚጠየቁ ጥያቄዎች
z3 ነፃ ነው?
አዎ። z3 በMIT ፈቃድ የሚሰራጭ የክፍት ምንጭ ሶፍትዌር ነው።
z3ን ማውረድ ደህንነቱ የተጠበቀ ነው?
ፋይሉ የሚወርደው ከgithub.com ነው፤ ይህም የአሳታሚው የራሱ አገልጋይ ነው፤ ExeAtlas ፋይሉን አያስተናግድም፣ አይቀይርምም። የSHA256 ሃሹን እዚህ ከሚታየው ጋር ያነጻጽሩ፣ ወይም ለዚያ ሃሽ የVirusTotal ሪፖርቱን ይክፈቱ።
z3 በARM (Windows on Arm) ላይ ይሠራል?
አዎ፤ የራሱ የARM64 ጫኚ አለ።
z3ን ያለ አስተዳዳሪ መብቶች መጠቀም ይቻላል?
አዎ፤ ተንቀሳቃሽ (portable) ነው፦ ይፍቱት እና ያስኪዱት።
የz3 አማራጮች ምንድን ናቸው?
PowerShell፣ QPDF፣ Oh My Posh፣ yq እና PuTTY። የአማራጮች ገጹ ያነጻጽራቸዋል።
