หน้านี้รวบรวม z3 ไว้ 1 เวอร์ชัน ตั้งแต่ จนถึงเวอร์ชันปัจจุบัน 5.3.1 ทุกเวอร์ชันลิงก์ไปยังไฟล์ตัวติดตั้งของผู้เผยแพร่เอง
| เวอร์ชัน | วันที่ | ขนาด | ไฟล์ |
|---|---|---|---|
| 5.3.1ล่าสุด | — | 64 บิต ZIPARM64 ZIP32 บิต ZIP |
z3 ทุกเวอร์ชันและเวอร์ชันเก่า
Theorem prover from Microsoft Research.
- สัญญาอนุญาตโอเพนซอร์ส
- เวอร์ชัน5.3.1
- ระบบที่ต้องการWindows 10, 11
- ยอดดาวน์โหลด Chocolatey16.5K
ยอดนิยมใน เทอร์มินัลและเครื่องมือ CLI
ดูทั้งหมด-
PowerShellเทอร์มินัลและเครื่องมือ CLI · Microsoft Corporation -
QPDFเทอร์มินัลและเครื่องมือ CLI · QPDF -
Oh My Poshเทอร์มินัลและเครื่องมือ CLI · Jan De Dobbeleer -
Microsoft Azure CLIเทอร์มินัลและเครื่องมือ CLI · Microsoft Corporation -
yqเทอร์มินัลและเครื่องมือ CLI · Mike Farah -
Alacrittyเทอร์มินัลและเครื่องมือ CLI · Alacritty -
fzfเทอร์มินัลและเครื่องมือ CLI · Junegunn Choi -
PuTTYเทอร์มินัลและเครื่องมือ CLI · Simon Tatham -
cURLเทอร์มินัลและเครื่องมือ CLI · curl -
Tabbyเทอร์มินัลและเครื่องมือ CLI · Tabby Developers