Aquí hi ha 1 versió de cvc5, des de fins a l’actual, 1.4.2. Cadascuna enllaça amb els instal·ladors del mateix desenvolupador.
| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 1.4.2Darrera versió | — | 64 bits ZIPARM64 ZIP |
cvc5: baixar versions anteriors
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
- LlicènciaCodi obert
- Versió1.4.2
- RequisitsWindows 10, 11
El més popular a Gestors de paquets i actualitzadors
Mostra-ho tot-
ChocolateyGestors de paquets i actualitzadors · Chocolatey Software, Inc. -
NuGetGestors de paquets i actualitzadors · Microsoft Corporation -
uvGestors de paquets i actualitzadors · Astral Software Inc. -
Chocolatey GUIGestors de paquets i actualitzadors · Chocolatey -
Conan Package ManagerGestors de paquets i actualitzadors · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleaseGestors de paquets i actualitzadors · Martí Climent -
UniGetUIGestors de paquets i actualitzadors · Devolutions inc. -
topgradeGestors de paquets i actualitzadors · topgrade-rs - ghostscriptGestors de paquets i actualitzadors
-
rigGestors de paquets i actualitzadors · Posit Software, PBC