An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
תיאור המפיץ (אנגלית)
מה זה cvc5?
cvc5 היא תוכנת Windows בקוד פתוח שמשתייכת לקטגוריה מנהלי חבילות ועדכונים.
התקנה ודרישות
המפיץ מספק קובצי התקנה מסוג נייד (Portable) ל־Windows בגרסת 64 ביט ו־ARM64. היא פועלת בלי התקנה (גרסה ניידת).
יתרונות / חסרונות
יתרונות
- קוד פתוח: כל אחד יכול לבדוק את הקוד ולבנות אותו
- גרסת ARM64 מקורית ל־Windows on Arm
- גרסה ניידת: פועלת בלי התקנה
בקצרה: cvc5 היא תוכנה בקוד פתוח מהקטגוריה מנהלי חבילות ועדכונים למחשבי 64 ביט ו־ARM64.
האם ההורדה של cvc5 בטוחה?
- הקובץ מגיע מהשרת github.com; כדאי לוודא שזהו שרת מראה רשמי של המפיץ
- קישור ההורדה משתמש ב־HTTPS
- פורסם ערך SHA256, כך שאפשר לאמת את הקובץ:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· פתיחת הדוח של VirusTotal עבור ה־hash הזה - הקישור טרם נבדק
- קוד המקור פתוח לציבור
- ExeAtlas אינו מאחסן, עוטף או משנה קובצי התקנה
מדריך קשור: בדיקת SHA256 של קובץ ב־Windows
גרסאות אחרונות
כל 1 הגרסאות ›| גרסה | תאריך | גודל | קבצים |
|---|---|---|---|
| 1.4.2אחרונה | — | 64 ביט ZIPARM64 ZIP |
התקנה משורת הפקודה
התקנה שקטה ›scoop install main/cvc5קובצי תוכנה (.exe): cvc5.exe
מדריך קשור: מדריך winget: התקנה ועדכון של תוכנות
מידע
- קטגוריה
- מנהלי חבילות ועדכונים
- רישיון
- BSD-3-Clause
- מחיר
- חינם
- דרישות
- Windows 11 / 10
- ארכיטקטורה
- 64 ביט, ARM64
- סוג קובץ ההתקנה
- נייד (Portable)
- גרסה
- 1.4.2
- גרסאות ברשימה
- 1
- אתר רשמי
- cvc5.github.io
- חבילת Scoop
- main/cvc5
דירוגים וביקורות
אין עדיין ביקורות. אפשר להיות הראשונים לדרג.
חלופות ל־cvc5
הצגת הכול ›-
קוד פתוח386.2M ↓ -
קוד פתוח2.6M ↓ -
קוד פתוח183K ↓ -
קוד פתוח257.3K ↓ -
קוד פתוח78.1K ↓ -
קוד פתוח3.9K ↓ -
קוד פתוח9.8K ↓ -
קוד פתוח15K ↓
שאלות נפוצות
האם cvc5 חינמית?
כן. cvc5 היא תוכנת קוד פתוח ברישיון BSD-3-Clause.
האם ההורדה של cvc5 בטוחה?
הקובץ מגיע מהשרת github.com; ExeAtlas אינו מאחסן את הקובץ ואינו משנה אותו. אפשר להשוות את ערך ה־SHA256 של הקובץ לערך שמוצג כאן, או לפתוח את הדוח של VirusTotal עבור אותו ערך.
אפשר להריץ את cvc5 על ARM (Windows on Arm)?
כן, יש קובץ התקנה מקורי ל־ARM64.
אפשר להשתמש ב־cvc5 בלי הרשאות מנהל?
כן, זו גרסה ניידת: מחלצים את הקבצים ומפעילים.
