Theorem prover from Microsoft Research.
Naşirin təsviri (ingilis)
z3 nədir?
z3 proqramı terminal və əmr sətri kateqoriyasına aid açıq mənbəli Windows proqram təminatıdır.
Quraşdırma və tələblər
Naşir 64 bit, ARM64 və 32 bit sistemlər üçün Portativ quraşdırma faylı verir. Quraşdırma olmadan işləyir (portativ).
Populyarlıq və fayl növləri
Chocolatey paketi 16.496 dəfə yüklənib. Oxşar proqramlar: PowerShell, QPDF və Oh My Posh.
Üstünlüklər / Çatışmazlıqlar
Üstünlüklər
- Açıq mənbə: kodu hər kəs yoxlaya və yığa bilər
- Windows on Arm üçün yerli ARM64 versiyası
- Portativ: quraşdırma tələb etmir
Qısaca: z3 64 bit, ARM64 və 32 bit kompüterlər üçün açıq mənbəli alətdir (terminal və əmr sətri).
z3 proqramını yükləmək təhlükəsizdirmi?
- Fayl naşirin öz domenindən (github.com) gəlir
- Yükləmə keçidi HTTPS istifadə edir
- SHA256 heşi dərc olunub, faylı yoxlaya bilərsiniz:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Bu heş üçün VirusTotal hesabatını açın - Keçid hələ yoxlanılmayıb
- Mənbə kodu açıqdır
- ExeAtlas quraşdırma fayllarını saxlamır, bükmür və dəyişmir
Əlaqəli təlimat: Windows-da faylın SHA256 heşini necə yoxlamaq olar
Son versiyalar
Bütün 1 versiya ›| Versiya | Tarix | Ölçü | Fayllar |
|---|---|---|---|
| 5.3.1Son versiya | — | ARM64 ZIP64 bit ZIP32 bit ZIP |
Əmr sətrindən quraşdırma
Səssiz quraşdırma ›choco install z3 -yscoop install main/z3Proqram faylları (.exe): z3.exe
Əlaqəli təlimat: winget necə istifadə olunur: quraşdırma və yeniləmə
Digər sistemlər üçün də var
brew install z3Məlumat
- Kateqoriya
- Terminal və əmr sətri
- Lisenziya
- MIT
- Qiymət
- Pulsuz
- Mənbə kodu
- github.com
- Tələb
- Windows 11 / 10
- Arxitektura
- 64 bit, ARM64, 32 bit
- Quraşdırma növü
- Portativ
- Versiya
- 5.3.1
- Qeydə alınmış versiya
- 1
- Chocolatey yükləməsi
- 16.496
- Rəsmi sayt
- github.com
- Chocolatey paketi
- z3
- Scoop paketi
- main/z3
Qiymətlər və rəylər
Hələ rəy yoxdur. İlk qiyməti siz verin.
z3 alternativləri
Hamısına bax ›-
Açıq mənbə689,6K ↓ -
Açıq mənbə2,1 mln ↓ -
Açıq mənbə820,8K ↓ -
Açıq mənbə1,5 mln ↓ -
Açıq mənbə5,3 mln ↓ -
Açıq mənbə75,9K ↓ -
Açıq mənbə290,1K ↓ -
Açıq mənbə112,5K ↓
Tez-tez verilən suallar
z3 pulsuzdurmu?
Bəli. z3 açıq mənbəli proqramdır (MIT lisenziyası).
z3 proqramını yükləmək təhlükəsizdirmi?
Fayl github.com ünvanından yüklənir; bu ünvan naşirə məxsusdur. ExeAtlas faylı saxlamır və dəyişmir. Yüklədiyiniz faylın SHA256 heşini burada göstərilənlə müqayisə edə və ya bu heş üçün VirusTotal hesabatını aça bilərsiniz.
z3 ARM prosessorda (Windows on Arm) işləyirmi?
Bəli, yerli ARM64 quraşdırma faylı var.
z3 proqramından administrator hüquqları olmadan istifadə etmək olarmı?
Bəli, portativdir: arxivdən çıxarıb işə salmaq kifayətdir.
z3 alternativləri hansılardır?
PowerShell, QPDF, Oh My Posh, yq və PuTTY. Alternativlər səhifəsi onları müqayisə edir.
