Theorem prover from Microsoft Research.
ထုတ်ဝေသူ၏ ဖော်ပြချက် (အင်္ဂလိပ်)
z3 ဆိုတာ ဘာလဲ
Terminal နှင့် CLI ကိရိယာများ အမျိုးအစားတွင် ပါဝင်သော z3 သည် ပွင့်လင်းရင်းမြစ် Windows ဆော့ဖ်ဝဲ ဖြစ်ပါသည်။
ထည့်သွင်းခြင်းနှင့် လိုအပ်ချက်များ
ထုတ်ဝေသူသည် 64-bit၊ ARM64 နှင့် 32-bit Windows အတွက် Portable installer များကို ပေးထားပါသည်။ ထည့်သွင်းစရာမလိုဘဲ တိုက်ရိုက် run နိုင်ပါသည် (portable)။
လူကြိုက်များမှုနှင့် ဖိုင်အမျိုးအစားများ
Chocolatey package ကို ၁၆,၄၉၆ ကြိမ် ဒေါင်းလုဒ်လုပ်ထားပါသည်။ ဆင်တူသော ပရိုဂရမ်များတွင် PowerShell၊ QPDF နှင့် Oh My Posh ပါဝင်ပါသည်။
အားသာချက်များ / အားနည်းချက်များ
အားသာချက်များ
- ပွင့်လင်းရင်းမြစ် - code ကို မည်သူမဆို စစ်ဆေး၍ build လုပ်နိုင်သည်
- Windows on Arm အတွက် native ARM64 build ရှိသည်
- Portable - ထည့်သွင်းစရာမလိုဘဲ run နိုင်သည်
အတိုချုပ်: z3 သည် 64-bit၊ ARM64 နှင့် 32-bit ကွန်ပျူတာများအတွက် ပွင့်လင်းရင်းမြစ် Terminal နှင့် CLI ကိရိယာများ ကိရိယာ ဖြစ်ပါသည်။
z3 ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
- ဖိုင်ကို ထုတ်ဝေသူ၏ ကိုယ်ပိုင်ဒိုမိန်း github.com မှ ပေးပို့ပါသည်
- ဒေါင်းလုဒ်လင့်ခ်သည် HTTPS ကို အသုံးပြုပါသည်
- SHA256 hash ထုတ်ပြန်ထားသဖြင့် ဖိုင်ကို စစ်ဆေးနိုင်ပါသည်:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· ဤ hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ပါ - လင့်ခ်ကို မစစ်ဆေးရသေးပါ
- Source code ကို အများပြည်သူ ကြည့်နိုင်ပါသည်
- ExeAtlas သည် installer များကို မသိမ်းဆည်း၊ မထုပ်ပိုး၊ မပြင်ဆင်ပါ
ဆက်စပ် လမ်းညွှန်: Windows တွင် ဖိုင်၏ SHA256 hash စစ်ဆေးနည်း
မကြာသေးမီ ဗားရှင်းများ
ဗားရှင်း ၁ ခုလုံး ›| ဗားရှင်း | ရက်စွဲ | အရွယ်အစား | ဖိုင်များ |
|---|---|---|---|
| 5.3.1နောက်ဆုံး | — | ARM64 ZIP64-bit ZIP32-bit ZIP |
Command line မှ ထည့်သွင်းခြင်း
အသံတိတ်ထည့်သွင်းခြင်း ›choco install z3 -yscoop install main/z3ပရိုဂရမ်ဖိုင်များ (.exe): z3.exe
ဆက်စပ် လမ်းညွှန်: winget အသုံးပြုနည်း - ပရိုဂရမ် ထည့်သွင်းခြင်းနှင့် အပ်ဒိတ်
အခြားစနစ်များအတွက်လည်း ရနိုင်ပါသည်
brew install z3အချက်အလက်
- အမျိုးအစား
- Terminal နှင့် CLI ကိရိယာများ
- လိုင်စင်
- MIT
- စျေးနှုန်း
- အခမဲ့
- Source code
- github.com
- လိုအပ်ချက်
- Windows 11 / 10
- Architecture
- 64-bit, ARM64, 32-bit
- Installer အမျိုးအစား
- Portable
- ဗားရှင်း
- 5.3.1
- စာရင်းရှိ ဗားရှင်းများ
- 1
- Chocolatey ဒေါင်းလုဒ်
- ၁၆,၄၉၆
- ဝဘ်ဆိုက်
- github.com
- Chocolatey package
- z3
- Scoop package
- main/z3
အဆင့်သတ်မှတ်ချက်နှင့် သုံးသပ်ချက်များ
သုံးသပ်ချက် မရှိသေးပါ။ ပထမဆုံး အဆင့်သတ်မှတ်သူ ဖြစ်လိုက်ပါ။
z3 အစားထိုးပရိုဂရမ်များ
အားလုံးကြည့်ရန် ›-
ပွင့်လင်းရင်းမြစ် (open source)၆.၉ သိန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၂.၁ သန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၈.၂ သိန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၁.၅ သန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၅.၃ သန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၇.၆ သောင်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၂.၉ သိန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၁.၁ သိန်း ↓
မေးလေ့ရှိသောမေးခွန်းများ
z3 သည် အခမဲ့လား
ဟုတ်ပါသည်။ z3 သည် ပွင့်လင်းရင်းမြစ် ဆော့ဖ်ဝဲ ဖြစ်ပါသည် (MIT လိုင်စင်)။
z3 ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
ဒေါင်းလုဒ်ကို github.com (ထုတ်ဝေသူပိုင်) မှ ရယူပါသည်။ ExeAtlas သည် ဖိုင်ကို မသိမ်းဆည်း၊ မပြောင်းလဲပါ။ ဖိုင်၏ SHA256 hash ကို ဤနေရာတွင် ပြထားသော hash နှင့် နှိုင်းယှဉ်ပါ သို့မဟုတ် ထို hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ကြည့်ပါ။
z3 သည် ARM (Windows on Arm) တွင် အလုပ်လုပ်ပါသလား
လုပ်ပါသည်။ Native ARM64 installer ရှိပါသည်။
z3 ကို Administrator ခွင့်မပါဘဲ သုံးနိုင်ပါသလား
သုံးနိုင်ပါသည်။ Portable ဖြစ်သဖြင့် ဖြည်ပြီး run ရုံသာ ဖြစ်ပါသည်။
z3 အစား ဘာတွေ သုံးနိုင်သလဲ
PowerShell၊ QPDF၊ Oh My Posh၊ yq နှင့် PuTTY။ အစားထိုးပရိုဂရမ်များ စာမျက်နှာတွင် ၎င်းတို့ကို နှိုင်းယှဉ်ထားပါသည်။
