እዚህ 1 የcvc5 ስሪቶች ተዘርዝረዋል፤ ከ እስከ አሁኑ 1.4.2 ድረስ። እያንዳንዱ ወደ አሳታሚው የራሱ የመጫኛ ፋይሎች ያገናኛል።
| ስሪት | ቀን | መጠን | ፋይሎች |
|---|---|---|---|
| 1.4.2የቅርብ ጊዜ ስሪት | — | 64-bit 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