Aquí figuran 1 versiones de cvc5, desde hasta la actual, 1.4.2. Cada una enlaza con los instaladores del propio desarrollador.
| Versión | Fecha | Tamaño | Archivos |
|---|---|---|---|
| 1.4.2Última versión | — | 64 bits ZIPARM64 ZIP |
cvc5: descargar versiones anteriores
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
- LicenciaCódigo abierto
- Versión1.4.2
- RequisitosWindows 10, 11
Lo más popular en Gestores de paquetes y actualizadores
Ver todo-
ChocolateyGestores de paquetes y actualizadores · Chocolatey Software, Inc. -
NuGetGestores de paquetes y actualizadores · Microsoft Corporation -
uvGestores de paquetes y actualizadores · Astral Software Inc. -
Chocolatey GUIGestores de paquetes y actualizadores · Chocolatey -
Conan Package ManagerGestores de paquetes y actualizadores · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleaseGestores de paquetes y actualizadores · Martí Climent -
UniGetUIGestores de paquetes y actualizadores · Devolutions inc. -
topgradeGestores de paquetes y actualizadores · topgrade-rs - ghostscriptGestores de paquetes y actualizadores
-
rigGestores de paquetes y actualizadores · Posit Software, PBC