An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
คำอธิบายจากผู้เผยแพร่ (อังกฤษ)
cvc5 คือโปรแกรมอะไร
cvc5 เป็นซอฟต์แวร์โอเพนซอร์สบน Windows จัดอยู่ในหมวด ตัวจัดการแพ็กเกจและอัปเดต
การติดตั้งและความต้องการของระบบ
ผู้เผยแพร่มีตัวติดตั้ง พกพา (Portable) สำหรับระบบ 64 บิต และ ARM64 ใช้งานได้โดยไม่ต้องติดตั้ง (แบบพกพา)
ข้อดี / ข้อเสีย
ข้อดี
- โอเพนซอร์ส ใครก็ตรวจสอบและคอมไพล์โค้ดเองได้
- มีเวอร์ชัน ARM64 แบบเนทีฟสำหรับ Windows on Arm
- แบบพกพา ใช้งานได้โดยไม่ต้องติดตั้ง
สรุปสั้น ๆ: cvc5 เป็นเครื่องมือโอเพนซอร์สในหมวด ตัวจัดการแพ็กเกจและอัปเดต สำหรับพีซี 64 บิต และ ARM64
ดาวน์โหลด cvc5 ปลอดภัยไหม
- ไฟล์ให้บริการจาก github.com โปรดตรวจสอบว่าเป็นมิเรอร์ทางการของผู้เผยแพร่
- ลิงก์ดาวน์โหลดใช้ HTTPS
- มีค่าแฮช SHA256 เผยแพร่ไว้ จึงตรวจสอบไฟล์ได้:
9055DE9B724724890BA5A19CFDC98F68A8C0653284AFA843096DEC432A0F88C3· เปิดรายงาน VirusTotal ของค่าแฮชนี้ - ยังไม่ได้ตรวจสอบลิงก์
- ซอร์สโค้ดเปิดเผยต่อสาธารณะ
- 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 โดยไม่มีสิทธิ์ผู้ดูแลระบบได้ไหม
ได้ เป็นแบบพกพา แตกไฟล์แล้วเปิดใช้งานได้เลย
