Theorem prover from Microsoft Research.
Yayıncının açıklaması (İngilizce)
z3 nedir?
z3 programı terminal ve komut satırı kategorisinde yer alan açık kaynaklı bir Windows yazılımıdır.
Kurulum ve gereksinimler
Yayıncı 64 bit, ARM64 ve 32 bit sistemler için Taşınabilir kurulum dosyası sağlıyor. Kurulum gerektirmeden çalışır (taşınabilir).
Popülerlik ve dosya türleri
Chocolatey paketi 16.496 kez indirildi. Benzer programlar arasında PowerShell, QPDF ve Oh My Posh bulunuyor.
Artılar / Eksiler
Artılar
- Açık kaynak: kodu herkes inceleyebilir ve derleyebilir
- Windows on Arm için yerel ARM64 sürümü
- Taşınabilir: kurulum gerektirmez
Kısaca: z3, 64 bit, ARM64 ve 32 bit bilgisayarlar için açık kaynaklı bir terminal ve komut satırı aracı.
z3 indirmek güvenli mi?
- Dosya yayıncının kendi alan adından (github.com) geliyor
- İndirme bağlantısı HTTPS kullanıyor
- SHA256 değeri yayımlanmış; dosyayı doğrulayabilirsiniz:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Bu hash için VirusTotal raporunu açın - Bağlantı henüz kontrol edilmedi
- Kaynak kodu herkese açık
- ExeAtlas kurulum dosyalarını barındırmaz, sarmalamaz, değiştirmez
İlgili rehber: Windows’ta bir dosyanın SHA256 özeti nasıl doğrulanır
Son sürümler
1 sürümün tümü ›| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 5.3.1Güncel | — | ARM64 ZIP64 bit ZIP32 bit ZIP |
Komut satırından kurulum
Sessiz kurulum ›choco install z3 -yscoop install main/z3Program dosyaları (.exe): z3.exe
İlgili rehber: winget nasıl kullanılır: program kurma ve güncelleme
Diğer sistemler için de var
brew install z3Bilgiler
- Kategori
- Terminal ve komut satırı
- Lisans
- MIT
- Fiyat
- Ücretsiz
- Kaynak kodu
- github.com
- Gereksinim
- Windows 11 / 10
- Mimari
- 64 bit, ARM64, 32 bit
- Kurulum türü
- Taşınabilir
- Sürüm
- 5.3.1
- Kayıtlı sürüm
- 1
- Chocolatey indirmesi
- 16.496
- Resmî site
- github.com
- Chocolatey paketi
- z3
- Scoop paketi
- main/z3
Puanlar ve yorumlar
Henüz yorum yok. İlk puanı siz verin.
z3 alternatifleri
Tümünü gör ›-
Açık kaynak689,6 B ↓ -
Açık kaynak2,1 Mn ↓ -
Açık kaynak820,8 B ↓ -
Açık kaynak1,5 Mn ↓ -
Açık kaynak5,3 Mn ↓ -
Açık kaynak75,9 B ↓ -
Açık kaynak290,1 B ↓ -
Açık kaynak112,5 B ↓
Sıkça sorulan sorular
z3 ücretsiz mi?
Evet. z3 açık kaynaklı bir programdır (MIT lisansı).
z3 indirmek güvenli mi?
İndirme github.com adresinden gelir; bu adres yayıncıya ait. ExeAtlas dosyayı barındırmaz ve değiştirmez. İndirdiğiniz dosyanın SHA256 değerini burada gösterilenle karşılaştırabilir ya da bu hash için VirusTotal raporunu açabilirsiniz.
z3 ARM işlemcide (Windows on Arm) çalışır mı?
Evet, yerel ARM64 kurulum dosyası var.
z3 yönetici izni olmadan kullanılabilir mi?
Evet, taşınabilir: arşivden çıkarıp çalıştırmanız yeterli.
z3 alternatifleri nelerdir?
PowerShell, QPDF, Oh My Posh, yq ve PuTTY. Alternatifler sayfası bunları karşılaştırıyor.
