Theorem prover from Microsoft Research.
Մշակողի նկարագրությունը (անգլերեն)
Ի՞նչ է z3 ծրագիրը
z3 — բաց կոդով ծրագրային ապահովում Windows-ի համար, կատեգորիան՝ «Տերմինալներ և CLI գործիքներ»։
Տեղադրում և համակարգային պահանջներ
Մշակողն առաջարկում է Դյուրակիր տեղադրիչներ 64-բիթ, ARM64 և 32-բիթ Windows-ի համար։ Ծրագիրն աշխատում է առանց տեղադրման (դյուրակիր տարբերակ)։
Հայտնիություն և ֆայլերի տեսակներ
Chocolatey փաթեթը ներբեռնվել է 16 496 անգամ։ Նմանատիպ ծրագրեր՝ PowerShell, QPDF և Oh My Posh։
Առավելություններ / Թերություններ
Առավելություններ
- Բաց կոդ․ ցանկացած մեկը կարող է այն ստուգել և ինքնուրույն կառուցել
- Բնիկ ARM64 կառուցվածք Windows on Arm-ի համար
- Դյուրակիր է՝ աշխատում է առանց տեղադրման
Հակիրճ: z3 — բաց կոդով ծրագիր Windows-ի համար («Տերմինալներ և CLI գործիքներ» կատեգորիա)․ կառուցվածքներ՝ 64-բիթ, ARM64 և 32-բիթ։
Արդյո՞ք անվտանգ է ներբեռնել z3 ծրագիրը
- Ֆայլը ներբեռնվում է մշակողի սեփական տիրույթից (github.com)
- Ներբեռնման հղումն օգտագործում է HTTPS
- Հրապարակված է SHA256 հեշ, ուստի ֆայլը կարելի է ստուգել:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Բացել այս հեշի VirusTotal հաշվետվությունը - Հղումը դեռ ստուգված չէ
- Ելակետային կոդը բաց է
- ExeAtlas-ը տեղադրիչներ չի պահում, չի փաթեթավորում և չի փոփոխում
Առնչվող ուղեցույց: Ինչպես ստուգել ֆայլի SHA256 հեշը Windows-ում
Վերջին տարբերակները
Բոլոր 1 տարբերակները ›| Տարբերակ | Ամսաթիվ | Չափ | Ֆայլեր |
|---|---|---|---|
| 5.3.1Վերջինը | — | ARM64 ZIP64-բիթ ZIP32-բիթ ZIP |
Տեղադրում հրամանի տողից
Լուռ տեղադրում ›choco install z3 -yscoop install main/z3Ծրագրային ֆայլեր (.exe): z3.exe
Առնչվող ուղեցույց: Ինչպես օգտագործել winget-ը՝ տեղադրում և թարմացում
Հասանելի է նաև այլ համակարգերի համար
brew install z3Տեղեկություններ
- Կատեգորիա
- Տերմինալներ և CLI գործիքներ
- Լիցենզիա
- MIT
- Գին
- Անվճար
- Ելակետային կոդ
- github.com
- Պահանջներ
- Windows 11 / 10
- Ճարտարապետություն
- 64-բիթ, ARM64, 32-բիթ
- Տեղադրիչ
- Դյուրակիր
- Տարբերակ
- 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 ծրագիրն օգտագործել առանց ադմինիստրատորի իրավունքների
Այո, այն դյուրակիր է․ բավական է բացել արխիվը և գործարկել ծրագիրը։
Ի՞նչ այլընտրանքներ ունի z3 ծրագիրը
PowerShell, QPDF, Oh My Posh, yq և PuTTY։ Դրանց համեմատությունը՝ այլընտրանքների էջում։
