ברשימה גרסה אחת של cvc5, מ־ ועד הגרסה הנוכחית 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