Theorem prover from Microsoft Research.
תיאור המפיץ (אנגלית)
מה זה z3?
z3 היא תוכנת Windows בקוד פתוח שמשתייכת לקטגוריה טרמינלים וכלי CLI.
התקנה ודרישות
המפיץ מספק קובצי התקנה מסוג נייד (Portable) ל־Windows בגרסת 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 עבור ה־hash הזה - הקישור טרם נבדק
- קוד המקור פתוח לציבור
- 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. דף החלופות משווה ביניהן.
