ברשימה גרסה אחת של z3, מ־ ועד הגרסה הנוכחית 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