An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
د خپرونکي تشریح (انګليسي)
cvc5 څه شی دی؟
cvc5 د د بستو مدیران او تازه کوونکي په کټګورۍ کې راځي او خلاصه سرچینه سافټویر دی.
نصب او اړتیاوې
خپرونکی د پورټېبل نصبوونکي د 64-bit او ARM64 Windows لپاره وړاندې کوي. بې له نصب چلېږي (پورټېبل).
ګټې / نیمګړتیاوې
ګټې
- خلاصه سرچینه: هر څوک یې کوډ کتلی او جوړولی شي
- د Windows on Arm لپاره اصلي ARM64 نسخه
- پورټېبل: بې له نصب چلېږي
لنډه دا چې: cvc5 د 64-bit او ARM64 کمپیوټرونو لپاره یوه خلاصه سرچینه د د بستو مدیران او تازه کوونکي وسیله ده.
ایا د cvc5 ډاونلوډ خوندي دی؟
- فایل له github.com څخه راځي؛ وګورئ چې دا د خپرونکي رسمي میرر دی
- د ډاونلوډ لینک HTTPS کاروي
- SHA256 هش خپور شوی، نو فایل تایید کولی شئ:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· د دې هش د VirusTotal راپور پرانیزئ - لینک لا نه دی کتل شوی
- سرچینه کوډ عامه دی
- ExeAtlas نصبوونکي نه ساتي، نه یې پوښي او نه یې بدلوي
اړوند لارښود: په Windows کې د فایل SHA256 هش څنګه وګورو
وروستۍ نسخې
ټولې ۱ نسخې ›| نسخه | نېټه | اندازه | فایلونه |
|---|---|---|---|
| 1.4.2وروستۍ | — | 64-bit ZIPARM64 ZIP |
له کمانډ لاین نه نصب
چوپه نصب ›scoop install main/cvc5د پروګرام فایلونه (.exe): cvc5.exe
اړوند لارښود: winget څنګه وکاروو: پروګرامونه نصب او تازه کړئ
معلومات
- کټګوري
- د بستو مدیران او تازه کوونکي
- جواز
- BSD-3-Clause
- بیه
- وړیا
- اړتیا
- Windows 11 / 10
- جوړښت (Architecture)
- 64-bit, ARM64
- د نصبوونکي ډول
- پورټېبل
- نسخه
- 1.4.2
- لېست شوې نسخې
- 1
- وېب پاڼه
- cvc5.github.io
- د Scoop بسته
- main/cvc5
درجې او نظرونه
لا تر اوسه هېڅ نظر نشته. لومړۍ درجه تاسو ورکړئ.
د cvc5 بدیلونه
ټول وګورئ ›-
خلاصه سرچینه (open source)۳۸۶٫۲M ↓ -
خلاصه سرچینه (open source)۲٫۶M ↓ -
خلاصه سرچینه (open source)۱۸۳K ↓ -
خلاصه سرچینه (open source)۲۵۷٫۳K ↓ -
خلاصه سرچینه (open source)۷۸٫۱K ↓ -
خلاصه سرچینه (open source)۳٫۹K ↓ -
خلاصه سرچینه (open source)۹٫۸K ↓ -
خلاصه سرچینه (open source)۱۵K ↓
ډېرې پوښتل شوې پوښتنې
ایا cvc5 وړیا دی؟
هو. cvc5 خلاصه سرچینه سافټویر دی د BSD-3-Clause جواز لاندې.
ایا د cvc5 ډاونلوډ خوندي دی؟
ډاونلوډ له github.com څخه راځي؛ ExeAtlas فایل نه ساتي او نه یې بدلوي. د فایل SHA256 هش له هغه سره پرتله کړئ چې دلته ښودل شوی، یا د همدې هش د VirusTotal راپور پرانیزئ.
ایا cvc5 په ARM (Windows on Arm) چلېږي؟
هو، اصلي ARM64 نصبوونکی لري.
ایا cvc5 بې له اډمین اجازې کارولی شم؟
هو، پورټېبل دی: خلاص یې کړئ او ویې چلوئ.
