Theorem prover from Microsoft Research.
Mô tả của nhà phát hành (Tiếng Anh)
z3 là gì?
z3 là phần mềm Windows mã nguồn mở trong danh mục terminal và dòng lệnh.
Cài đặt và yêu cầu hệ thống
Nhà phát hành cung cấp bộ cài Portable cho hệ thống 64-bit, ARM64 và 32-bit. Phần mềm chạy được mà không cần cài đặt (bản portable).
Mức độ phổ biến và loại file
Gói Chocolatey đã được tải về 16.496 lần. Các phần mềm tương tự gồm PowerShell, QPDF và Oh My Posh.
Ưu điểm / Nhược điểm
Ưu điểm
- Mã nguồn mở: ai cũng có thể xem và tự biên dịch
- Có bản ARM64 gốc cho Windows on Arm
- Bản portable: chạy không cần cài đặt
Tóm lại: z3 là phần mềm Windows mã nguồn mở dành cho máy tính 64-bit, ARM64 và 32-bit, thuộc nhóm terminal và dòng lệnh.
Tải z3 có an toàn không?
- Tệp được cung cấp từ github.com, tên miền của chính nhà phát hành
- Liên kết tải về dùng HTTPS
- Có công bố mã SHA256 để kiểm tra tệp:
014E2705E53609BCF46718D7C29426E7D0B98512ED00B8F794E3304869A5FD8B· Mở báo cáo VirusTotal cho mã băm này - Liên kết chưa được kiểm tra
- Mã nguồn được công khai
- ExeAtlas không lưu trữ, không đóng gói kèm và không chỉnh sửa bộ cài
Hướng dẫn liên quan: Cách kiểm tra mã SHA256 của file trên Windows
Phiên bản gần đây
Tất cả 1 phiên bản ›| Phiên bản | Ngày | Dung lượng | Tệp |
|---|---|---|---|
| 5.3.1Mới nhất | — | ARM64 ZIP64-bit ZIP32-bit ZIP |
Cài đặt bằng dòng lệnh
Cài đặt im lặng ›choco install z3 -yscoop install main/z3Tệp chương trình (.exe): z3.exe
Hướng dẫn liên quan: Cách dùng winget để cài đặt và cập nhật phần mềm
Cũng có cho hệ điều hành khác
brew install z3Thông tin
- Danh mục
- Terminal và dòng lệnh
- Giấy phép
- MIT
- Giá
- Miễn phí
- Mã nguồn
- github.com
- Yêu cầu
- Windows 11 / 10
- Kiến trúc
- 64-bit, ARM64, 32-bit
- Loại bộ cài
- Portable
- Phiên bản
- 5.3.1
- Số phiên bản
- 1
- Lượt tải Chocolatey
- 16.496
- Trang chủ
- github.com
- Gói Chocolatey
- z3
- Gói Scoop
- main/z3
Đánh giá và nhận xét
Chưa có nhận xét nào. Hãy là người đầu tiên đánh giá.
Phần mềm thay thế z3
Xem tất cả ›-
Mã nguồn mở689,6 N ↓ -
Mã nguồn mở2,1 Tr ↓ -
Mã nguồn mở820,8 N ↓ -
Mã nguồn mở1,5 Tr ↓ -
Mã nguồn mở5,3 Tr ↓ -
Mã nguồn mở75,9 N ↓ -
Mã nguồn mở290,1 N ↓ -
Mã nguồn mở112,5 N ↓
Câu hỏi thường gặp
z3 có miễn phí không?
Có. z3 là phần mềm mã nguồn mở theo giấy phép MIT.
Tải z3 có an toàn không?
Tệp được tải từ github.com, tên miền thuộc về nhà phát hành; ExeAtlas không lưu trữ và không chỉnh sửa tệp. Hãy so sánh mã SHA256 của tệp đã tải với mã hiển thị trên trang này, hoặc mở báo cáo VirusTotal cho mã băm đó.
z3 có chạy trên máy ARM (Windows on Arm) không?
Có, phần mềm có bộ cài ARM64 gốc.
Có thể dùng z3 mà không cần quyền quản trị viên không?
Có, đây là bản portable: chỉ cần giải nén và chạy.
Có những phần mềm nào thay thế z3?
PowerShell, QPDF, Oh My Posh, yq và PuTTY. Trang phần mềm thay thế so sánh các lựa chọn này.
