Këtu janë renditur 1 version të cvc5, nga deri te versioni aktual 1.4.2. Secili të çon te skedarët e instalimit të vetë botuesit.
| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 1.4.2I fundit | — | 64-bit ZIPARM64 ZIP |
cvc5: versionet e vjetra dhe historiku
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
- LicencaMe burim të hapur
- Versioni1.4.2
- KërkonWindows 10, 11
Më të njohurat në „Menaxherë paketash dhe përditësues”
Shiko të gjitha-
ChocolateyMenaxherë paketash dhe përditësues · Chocolatey Software, Inc. -
NuGetMenaxherë paketash dhe përditësues · Microsoft Corporation -
uvMenaxherë paketash dhe përditësues · Astral Software Inc. -
Chocolatey GUIMenaxherë paketash dhe përditësues · Chocolatey -
Conan Package ManagerMenaxherë paketash dhe përditësues · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleaseMenaxherë paketash dhe përditësues · Martí Climent -
UniGetUIMenaxherë paketash dhe përditësues · Devolutions inc. -
topgradeMenaxherë paketash dhe përditësues · topgrade-rs - ghostscriptMenaxherë paketash dhe përditësues
-
rigMenaxherë paketash dhe përditësues · Posit Software, PBC