หน้านี้รวบรวม cvc5 ไว้ 1 เวอร์ชัน ตั้งแต่ จนถึงเวอร์ชันปัจจุบัน 1.4.2 ทุกเวอร์ชันลิงก์ไปยังไฟล์ตัวติดตั้งของผู้เผยแพร่เอง
| เวอร์ชัน | วันที่ | ขนาด | ไฟล์ |
|---|---|---|---|
| 1.4.2ล่าสุด | — | 64 บิต ZIPARM64 ZIP |
cvc5 ทุกเวอร์ชันและเวอร์ชันเก่า
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
- สัญญาอนุญาตโอเพนซอร์ส
- เวอร์ชัน1.4.2
- ระบบที่ต้องการWindows 10, 11
ยอดนิยมใน ตัวจัดการแพ็กเกจและอัปเดต
ดูทั้งหมด-
Chocolateyตัวจัดการแพ็กเกจและอัปเดต · Chocolatey Software, Inc. -
NuGetตัวจัดการแพ็กเกจและอัปเดต · Microsoft Corporation -
uvตัวจัดการแพ็กเกจและอัปเดต · Astral Software Inc. -
Chocolatey GUIตัวจัดการแพ็กเกจและอัปเดต · Chocolatey -
Conan Package Managerตัวจัดการแพ็กเกจและอัปเดต · JFrog -
UniGetUI (formerly WingetUI) - Pre-Releaseตัวจัดการแพ็กเกจและอัปเดต · Martí Climent -
UniGetUIตัวจัดการแพ็กเกจและอัปเดต · Devolutions inc. -
topgradeตัวจัดการแพ็กเกจและอัปเดต · topgrade-rs - ghostscriptตัวจัดการแพ็กเกจและอัปเดต
-
rigตัวจัดการแพ็กเกจและอัปเดต · Posit Software, PBC