Theorem prover from Microsoft Research.
გამომცემლის აღწერა (ინგლისური)
რა არის z3?
z3 — ღია კოდის Windows პროგრამა კატეგორიიდან „ტერმინალი და ბრძანებათა ხაზი“.
ინსტალაცია და მოთხოვნები
გამომცემელი გთავაზობთ პორტატული საინსტალაციო ფაილებს სისტემებისთვის: 64-ბიტიანი, ARM64 და 32-ბიტიანი. მუშაობს ინსტალაციის გარეშე (პორტატული).
პოპულარობა და ფაილის ტიპები
Chocolatey პაკეტი ჩამოტვირთულია 16 496-ჯერ. მსგავსი პროგრამები: PowerShell, QPDF და Oh My Posh.
დადებითი მხარეები / უარყოფითი მხარეები
დადებითი მხარეები
- ღია კოდი: ნებისმიერს შეუძლია კოდის შემოწმება და აწყობა
- მშობლიური ARM64 ვერსია Windows on Arm-ისთვის
- პორტატული: ინსტალაცია არ სჭირდება
მოკლედ: z3 — ღია კოდის ხელსაწყო (ტერმინალი და ბრძანებათა ხაზი) კომპიუტერებისთვის: 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ინფორმაცია
- კატეგორია
- ტერმინალი და ბრძანებათა ხაზი
- ლიცენზია
- 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. ალტერნატივების გვერდზე ისინი შედარებულია.
