Theorem prover from Microsoft Research.
Deskripsi dari penerbit (Inggris)
Apa itu z3?
z3 merupakan software open source untuk Windows yang termasuk kategori Terminal & alat CLI.
Instalasi dan persyaratan sistem
Penerbit menyediakan installer Portabel untuk sistem 64-bit, ARM64 dan 32-bit. Program ini bisa dijalankan tanpa instalasi (portabel).
Popularitas dan jenis file
Paket Chocolatey-nya sudah diunduh 16.496 kali. Program serupa antara lain PowerShell, QPDF dan Oh My Posh.
Kelebihan / Kekurangan
Kelebihan
- Open source: kodenya bisa diperiksa dan dikompilasi siapa saja
- Versi ARM64 native untuk Windows on Arm
- Portabel: berjalan tanpa instalasi
Singkatnya: z3 adalah aplikasi kategori Terminal & alat CLI yang open source untuk PC 64-bit, ARM64 dan 32-bit.
Apakah z3 aman diunduh?
- File disediakan oleh github.com, domain milik penerbit
- Tautan download menggunakan HTTPS
- Hash SHA256 tersedia, sehingga file bisa diverifikasi:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Buka laporan VirusTotal untuk hash ini - Tautan belum dicek
- Kode sumbernya terbuka untuk umum
- ExeAtlas tidak menyimpan, membungkus, atau mengubah installer
Panduan terkait: Cara cek hash SHA256 file di Windows
Rilis terakhir
Semua 1 versi ›| Versi | Tanggal | Ukuran | File |
|---|---|---|---|
| 5.3.1Terbaru | — | ARM64 ZIP64-bit ZIP32-bit ZIP |
Instalasi lewat command line
Instalasi senyap ›choco install z3 -yscoop install main/z3File program (.exe): z3.exe
Panduan terkait: Cara pakai winget: instal dan update aplikasi
Juga tersedia untuk sistem lain
brew install z3Informasi
- Kategori
- Terminal & alat CLI
- Lisensi
- MIT
- Harga
- Gratis
- Kode sumber
- github.com
- Persyaratan
- Windows 11 / 10
- Arsitektur
- 64-bit, ARM64, 32-bit
- Installer
- Portabel
- Versi
- 5.3.1
- Versi tercatat
- 1
- Unduhan Chocolatey
- 16.496
- Situs web
- github.com
- Paket Chocolatey
- z3
- Paket Scoop
- main/z3
Rating dan ulasan
Belum ada ulasan. Jadilah yang pertama memberi rating.
Alternatif z3
Lihat semua ›-
Open source689,6 rb ↓ -
Open source2,1 jt ↓ -
Open source820,8 rb ↓ -
Open source1,5 jt ↓ -
Open source5,3 jt ↓ -
Open source75,9 rb ↓ -
Open source290,1 rb ↓ -
Open source112,5 rb ↓
Pertanyaan yang sering diajukan
Apakah z3 gratis?
Ya. z3 adalah software open source berlisensi MIT.
Apakah z3 aman diunduh?
File download berasal dari github.com, domain milik penerbit; ExeAtlas tidak menyimpan atau mengubah file tersebut. Cocokkan hash SHA256 file tersebut dengan yang tertera di sini, atau buka laporan VirusTotal untuk hash itu.
Apakah z3 bisa berjalan di prosesor ARM (Windows on Arm)?
Ya, tersedia installer ARM64 native.
Apakah z3 bisa dipakai tanpa hak administrator?
Ya, program ini portabel: cukup ekstrak lalu jalankan.
Apa saja alternatif z3?
PowerShell, QPDF, Oh My Posh, yq dan PuTTY. Halaman alternatif membandingkan semuanya.
