Theorem prover from Microsoft Research.
คำอธิบายจากผู้เผยแพร่ (อังกฤษ)
z3 คือโปรแกรมอะไร
z3 เป็นซอฟต์แวร์โอเพนซอร์สบน Windows จัดอยู่ในหมวด เทอร์มินัลและเครื่องมือ CLI
การติดตั้งและความต้องการของระบบ
ผู้เผยแพร่มีตัวติดตั้ง พกพา (Portable) สำหรับระบบ 64 บิต, ARM64 และ 32 บิต ใช้งานได้โดยไม่ต้องติดตั้ง (แบบพกพา)
ความนิยมและประเภทไฟล์
แพ็กเกจบน Chocolatey มียอดดาวน์โหลด 16,496 ครั้ง โปรแกรมที่คล้ายกัน ได้แก่ PowerShell, QPDF และ Oh My Posh
ข้อดี / ข้อเสีย
ข้อดี
- โอเพนซอร์ส ใครก็ตรวจสอบและคอมไพล์โค้ดเองได้
- มีเวอร์ชัน ARM64 แบบเนทีฟสำหรับ Windows on Arm
- แบบพกพา ใช้งานได้โดยไม่ต้องติดตั้ง
สรุปสั้น ๆ: z3 เป็นเครื่องมือโอเพนซอร์สในหมวด เทอร์มินัลและเครื่องมือ CLI สำหรับพีซี 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ข้อมูล
- หมวดหมู่
- เทอร์มินัลและเครื่องมือ CLI
- สัญญาอนุญาต
- MIT
- ราคา
- ฟรี
- ซอร์สโค้ด
- github.com
- ระบบที่ต้องการ
- Windows 11 / 10
- สถาปัตยกรรม
- 64 บิต, ARM64, 32 บิต
- ตัวติดตั้ง
- พกพา (Portable)
- เวอร์ชัน
- 5.3.1
- จำนวนเวอร์ชันในรายการ
- 1
- ยอดดาวน์โหลด Chocolatey
- 16,496
- เว็บไซต์
- github.com
- แพ็กเกจ Chocolatey
- z3
- แพ็กเกจ Scoop
- main/z3
คะแนนและรีวิว
ยังไม่มีรีวิว ร่วมให้คะแนนเป็นคนแรก
โปรแกรมทดแทน z3
ดูทั้งหมด ›-
โอเพนซอร์ส689.6K ↓ -
โอเพนซอร์ส2.1M ↓ -
โอเพนซอร์ส820.8K ↓ -
โอเพนซอร์ส1.5M ↓ -
โอเพนซอร์ส5.3M ↓ -
โอเพนซอร์ส75.9K ↓ -
โอเพนซอร์ส290.1K ↓ -
โอเพนซอร์ส112.5K ↓
คำถามที่พบบ่อย
z3 ใช้ฟรีไหม
ฟรี z3 เป็นซอฟต์แวร์โอเพนซอร์ส ภายใต้สัญญาอนุญาต MIT
ดาวน์โหลด z3 ปลอดภัยไหม
ไฟล์ดาวน์โหลดมาจาก github.com ซึ่งเป็นของผู้เผยแพร่เอง ExeAtlas ไม่ได้เก็บหรือแก้ไขไฟล์นี้ คุณสามารถเทียบค่าแฮช SHA256 ของไฟล์กับค่าที่แสดงในหน้านี้ หรือเปิดรายงาน VirusTotal ของค่าแฮชนั้นได้
z3 ใช้บน ARM (Windows on Arm) ได้ไหม
ได้ มีตัวติดตั้ง ARM64 แบบเนทีฟ
ใช้ z3 โดยไม่มีสิทธิ์ผู้ดูแลระบบได้ไหม
ได้ เป็นแบบพกพา แตกไฟล์แล้วเปิดใช้งานได้เลย
มีโปรแกรมอะไรที่ใช้แทน z3 ได้บ้าง
PowerShell, QPDF, Oh My Posh, yq และ PuTTY ดูการเปรียบเทียบได้ในหน้าโปรแกรมทดแทน
