cvc5 programının ile güncel 1.4.2 arasındaki 1 sürümü burada. Her sürüm, yayıncının kendi kurulum dosyasına bağlanır.
| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 1.4.2Güncel | — | 64 bit ZIPARM64 ZIP |
cvc5 eski sürümleri ve tüm sürümler
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
- LisansAçık kaynak
- Sürüm1.4.2
- GereksinimWindows 10, 11
Paket yöneticileri ve güncelleyiciler: en popüler
Tümünü gör-
ChocolateyPaket yöneticileri ve güncelleyiciler · Chocolatey Software, Inc. -
NuGetPaket yöneticileri ve güncelleyiciler · Microsoft Corporation -
uvPaket yöneticileri ve güncelleyiciler · Astral Software Inc. -
Chocolatey GUIPaket yöneticileri ve güncelleyiciler · Chocolatey -
Conan Package ManagerPaket yöneticileri ve güncelleyiciler · JFrog -
UniGetUIPaket yöneticileri ve güncelleyiciler · Devolutions inc. -
topgradePaket yöneticileri ve güncelleyiciler · topgrade-rs - ghostscriptPaket yöneticileri ve güncelleyiciler
-
rigPaket yöneticileri ve güncelleyiciler · Posit Software, PBC -
Zero InstallPaket yöneticileri ve güncelleyiciler · 0install.net