An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
ထုတ်ဝေသူ၏ ဖော်ပြချက် (အင်္ဂလိပ်)
cvc5 ဆိုတာ ဘာလဲ
Package manager နှင့် updater များ အမျိုးအစားတွင် ပါဝင်သော cvc5 သည် ပွင့်လင်းရင်းမြစ် Windows ဆော့ဖ်ဝဲ ဖြစ်ပါသည်။
ထည့်သွင်းခြင်းနှင့် လိုအပ်ချက်များ
ထုတ်ဝေသူသည် 64-bit နှင့် ARM64 Windows အတွက် Portable installer များကို ပေးထားပါသည်။ ထည့်သွင်းစရာမလိုဘဲ တိုက်ရိုက် run နိုင်ပါသည် (portable)။
အားသာချက်များ / အားနည်းချက်များ
အားသာချက်များ
- ပွင့်လင်းရင်းမြစ် - code ကို မည်သူမဆို စစ်ဆေး၍ build လုပ်နိုင်သည်
- Windows on Arm အတွက် native ARM64 build ရှိသည်
- Portable - ထည့်သွင်းစရာမလိုဘဲ run နိုင်သည်
အတိုချုပ်: cvc5 သည် 64-bit နှင့် ARM64 ကွန်ပျူတာများအတွက် ပွင့်လင်းရင်းမြစ် Package manager နှင့် updater များ ကိရိယာ ဖြစ်ပါသည်။
cvc5 ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
- ဖိုင်ကို github.com မှ ပေးပို့ပါသည်။ ထုတ်ဝေသူ၏ တရားဝင် mirror ဟုတ်မဟုတ် စစ်ဆေးပါ
- ဒေါင်းလုဒ်လင့်ခ်သည် HTTPS ကို အသုံးပြုပါသည်
- SHA256 hash ထုတ်ပြန်ထားသဖြင့် ဖိုင်ကို စစ်ဆေးနိုင်ပါသည်:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· ဤ hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ပါ - လင့်ခ်ကို မစစ်ဆေးရသေးပါ
- Source code ကို အများပြည်သူ ကြည့်နိုင်ပါသည်
- ExeAtlas သည် installer များကို မသိမ်းဆည်း၊ မထုပ်ပိုး၊ မပြင်ဆင်ပါ
ဆက်စပ် လမ်းညွှန်: Windows တွင် ဖိုင်၏ SHA256 hash စစ်ဆေးနည်း
မကြာသေးမီ ဗားရှင်းများ
ဗားရှင်း ၁ ခုလုံး ›| ဗားရှင်း | ရက်စွဲ | အရွယ်အစား | ဖိုင်များ |
|---|---|---|---|
| 1.4.2နောက်ဆုံး | — | 64-bit ZIPARM64 ZIP |
Command line မှ ထည့်သွင်းခြင်း
အသံတိတ်ထည့်သွင်းခြင်း ›scoop install main/cvc5ပရိုဂရမ်ဖိုင်များ (.exe): cvc5.exe
ဆက်စပ် လမ်းညွှန်: winget အသုံးပြုနည်း - ပရိုဂရမ် ထည့်သွင်းခြင်းနှင့် အပ်ဒိတ်
အချက်အလက်
- အမျိုးအစား
- Package manager နှင့် updater များ
- လိုင်စင်
- BSD-3-Clause
- စျေးနှုန်း
- အခမဲ့
- လိုအပ်ချက်
- Windows 11 / 10
- Architecture
- 64-bit, ARM64
- Installer အမျိုးအစား
- Portable
- ဗားရှင်း
- 1.4.2
- စာရင်းရှိ ဗားရှင်းများ
- 1
- ဝဘ်ဆိုက်
- cvc5.github.io
- Scoop package
- main/cvc5
အဆင့်သတ်မှတ်ချက်နှင့် သုံးသပ်ချက်များ
သုံးသပ်ချက် မရှိသေးပါ။ ပထမဆုံး အဆင့်သတ်မှတ်သူ ဖြစ်လိုက်ပါ။
cvc5 အစားထိုးပရိုဂရမ်များ
အားလုံးကြည့်ရန် ›-
ပွင့်လင်းရင်းမြစ် (open source)၃၈.၆ ကုဋေ ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၂.၆ သန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၁.၈ သိန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၂.၆ သိန်း ↓ -
UniGetUI (formerly WingetUI) - Pre-Release3.3.7-beta1Package manager နှင့် updater များ · Martí Climentပွင့်လင်းရင်းမြစ် (open source)၇.၈ သောင်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၃.၉ ထောင် ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၉.၈ ထောင် ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၁.၅ သောင်း ↓
မေးလေ့ရှိသောမေးခွန်းများ
cvc5 သည် အခမဲ့လား
ဟုတ်ပါသည်။ cvc5 သည် ပွင့်လင်းရင်းမြစ် ဆော့ဖ်ဝဲ ဖြစ်ပါသည် (BSD-3-Clause လိုင်စင်)။
cvc5 ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
ဒေါင်းလုဒ်ကို github.com မှ ရယူပါသည်။ ExeAtlas သည် ဖိုင်ကို မသိမ်းဆည်း၊ မပြောင်းလဲပါ။ ဖိုင်၏ SHA256 hash ကို ဤနေရာတွင် ပြထားသော hash နှင့် နှိုင်းယှဉ်ပါ သို့မဟုတ် ထို hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ကြည့်ပါ။
cvc5 သည် ARM (Windows on Arm) တွင် အလုပ်လုပ်ပါသလား
လုပ်ပါသည်။ Native ARM64 installer ရှိပါသည်။
cvc5 ကို Administrator ခွင့်မပါဘဲ သုံးနိုင်ပါသလား
သုံးနိုင်ပါသည်။ Portable ဖြစ်သဖြင့် ဖြည်ပြီး run ရုံသာ ဖြစ်ပါသည်။
