An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
وصف الناشر (الإنجليزية)
ما هو برنامج cvc5؟
يُصنَّف برنامج cvc5 لنظام Windows ضمن فئة مديرو الحزم والتحديث، وهو مفتوح المصدر.
التثبيت ومتطلبات التشغيل
يوفّر الناشر مثبّتات نسخة محمولة لإصدارات Windows 64 بت وARM64. يعمل دون تثبيت (نسخة محمولة).
الإيجابيات / السلبيات
الإيجابيات
- مفتوح المصدر: يمكن لأي شخص فحص الشيفرة وبناؤها
- إصدار ARM64 أصلي لأجهزة Windows on Arm
- نسخة محمولة تعمل دون تثبيت
باختصار: cvc5 برنامج مفتوح المصدر من فئة مديرو الحزم والتحديث يعمل على أجهزة 64 بت وARM64.
هل تحميل cvc5 آمن؟
- يُقدَّم الملف من github.com؛ تأكّد من أنه خادم رسمي تابع للناشر
- رابط التحميل يستخدم HTTPS
- بصمة SHA256 منشورة، فيمكنك التحقق من الملف:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· افتح تقرير VirusTotal لهذه البصمة - لم يُفحص الرابط بعد
- الشيفرة المصدرية متاحة للجميع
- لا يستضيف ExeAtlas ملفات التثبيت ولا يغلّفها ولا يعدّلها
شرح ذو صلة: التحقق من بصمة SHA256 لملف في Windows
أحدث الإصدارات
جميع الإصدارات (1) ›التثبيت من سطر الأوامر
التثبيت الصامت ›scoop install main/cvc5ملفات البرامج (.exe): cvc5.exe
شرح ذو صلة: شرح winget: تثبيت البرامج وتحديثها من سطر الأوامر
معلومات
- القسم
- مديرو الحزم والتحديث
- الترخيص
- BSD-3-Clause
- السعر
- مجاني
- المتطلبات
- Windows 11 / 10
- المعمارية
- 64 بت, ARM64
- نوع المثبّت
- نسخة محمولة
- الإصدار
- 1.4.2
- الإصدارات المدرجة
- 1
- الموقع الرسمي
- cvc5.github.io
- حزمة Scoop
- main/cvc5
التقييمات والمراجعات
لا توجد مراجعات بعد. كن أول من يقيّم هذا البرنامج.
بدائل cvc5
عرض الكل ›-
مفتوح المصدر386.2 مليون ↓ -
مفتوح المصدر2.6 مليون ↓ -
مفتوح المصدر183 ألف ↓ -
مفتوح المصدر257.3 ألف ↓ -
مفتوح المصدر78.1 ألف ↓ -
مفتوح المصدر3.9 ألف ↓ -
مفتوح المصدر9.8 ألف ↓ -
مفتوح المصدر15 ألف ↓
الأسئلة الشائعة
هل برنامج cvc5 مجاني؟
نعم. برنامج cvc5 مفتوح المصدر ويخضع لترخيص BSD-3-Clause.
هل تحميل cvc5 آمن؟
يأتي ملف التحميل من github.com؛ ولا يستضيف ExeAtlas الملف ولا يعدّله. قارن بصمة SHA256 للملف بالبصمة المعروضة هنا، أو افتح تقرير VirusTotal لهذه البصمة.
هل يعمل cvc5 على أجهزة Windows on Arm؟
نعم، يتوفر مثبّت ARM64 أصلي.
هل يمكن استخدام cvc5 دون صلاحيات المسؤول؟
نعم، فهو نسخة محمولة: فُكّ ضغطه وشغّله.
