An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
توضیحات ناشر (انگلیسی)
cvc5 چیست؟
cvc5 در دسته‌بندی مدیر بسته و به‌روزرسان قرار دارد و نرم‌افزاری متن‌باز است.
نصب و پیش‌نیازها
ناشر نصب‌کننده‌های پرتابل را برای ویندوز ۶۴ بیتی و ARM64 ارائه می‌کند. بدون نصب اجرا می‌شود (نسخه پرتابل).
نقاط قوت / نقاط ضعف
نقاط قوت
- متن‌باز: هر کسی می‌تواند کد را بررسی و کامپایل کند
- نسخه بومی ARM64 برای Windows on Arm
- پرتابل: بدون نصب اجرا می‌شود
به طور خلاصه: cvc5 ابزاری متن‌باز در دسته‌بندی مدیر بسته و به‌روزرسان برای رایانه‌های ۶۴ بیتی و ARM64 است.
آیا دانلود cvc5 امن است؟
- فایل از github.com ارائه می‌شود؛ مطمئن شوید که این آینه (mirror) رسمی ناشر است
- لینک دانلود از HTTPS استفاده می‌کند
- هش SHA256 منتشر شده است و می‌توانید فایل را بررسی کنید:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· گزارش VirusTotal این هش را باز کنید - لینک هنوز بررسی نشده است
- کد منبع عمومی است
- ExeAtlas فایل‌های نصب را میزبانی، بسته‌بندی یا تغییر نمی‌دهد
آموزش مرتبط: بررسی هش SHA256 فایل در ویندوز
نسخه‌های اخیر
همه ۱ نسخه ›| نسخه | تاریخ | حجم | فایل‌ها |
|---|---|---|---|
| 1.4.2آخرین | — | ۶۴ بیتی ZIPARM64 ZIP |
نصب از خط فرمان
نصب بی‌صدا ›scoop install main/cvc5فایل‌های برنامه (.exe): cvc5.exe
آموزش مرتبط: آموزش winget: نصب و به‌روزرسانی نرم‌افزار در ویندوز
اطلاعات
- دسته‌بندی
- مدیر بسته و به‌روزرسان
- مجوز
- BSD-3-Clause
- قیمت
- رایگان
- پیش‌نیاز
- Windows 11 / 10
- معماری
- ۶۴ بیتی, ARM64
- نوع نصب‌کننده
- پرتابل
- نسخه
- 1.4.2
- نسخه‌های فهرست‌شده
- 1
- وب‌سایت رسمی
- cvc5.github.io
- بسته Scoop
- main/cvc5
امتیازها و نظرها
هنوز نظری ثبت نشده است. نخستین امتیاز را شما بدهید.
جایگزین‌های cvc5
مشاهده همه ›-
متن‌باز۳۸۶٫۲ میلیون ↓ -
متن‌باز۲٫۶ میلیون ↓ -
متن‌باز۱۸۳ هزار ↓ -
متن‌باز۲۵۷٫۳ هزار ↓ -
متن‌باز۷۸٫۱ هزار ↓ -
متن‌باز۳٫۹ هزار ↓ -
متن‌باز۹٫۸ هزار ↓ -
متن‌باز۱۵ هزار ↓
پرسش‌های متداول
آیا cvc5 رایگان است؟
بله. cvc5 نرم‌افزاری متن‌باز با مجوز BSD-3-Clause است.
آیا دانلود cvc5 امن است؟
فایل از github.com دانلود می‌شود؛ ExeAtlas فایل را میزبانی یا تغییر نمی‌دهد. هش SHA256 فایل را با هش نمایش‌داده‌شده در این صفحه مقایسه کنید یا گزارش VirusTotal همین هش را باز کنید.
آیا cvc5 روی ARM (Windows on Arm) اجرا می‌شود؟
بله، نصب‌کننده بومی ARM64 وجود دارد.
آیا می‌توان از cvc5 بدون دسترسی مدیر استفاده کرد؟
بله، نسخه پرتابل است: آن را از حالت فشرده خارج و اجرا کنید.
