Aici sunt listate 1 versiune ale programului cvc5, de la până la versiunea actuală, 1.4.2. Fiecare trimite la instalatoarele oficiale ale dezvoltatorului.
| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 1.4.2Cea mai nouă | — | 64 de biți ZIPARM64 ZIP |
cvc5: versiuni mai vechi, descărcare
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
- LicențăOpen source
- Versiune1.4.2
- CerințeWindows 10, 11
Cele mai populare în Manageri de pachete și actualizare
Vezi tot-
ChocolateyManageri de pachete și actualizare · Chocolatey Software, Inc. -
NuGetManageri de pachete și actualizare · Microsoft Corporation -
uvManageri de pachete și actualizare · Astral Software Inc. -
Chocolatey GUIManageri de pachete și actualizare · Chocolatey -
Conan Package ManagerManageri de pachete și actualizare · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleaseManageri de pachete și actualizare · Martí Climent -
UniGetUIManageri de pachete și actualizare · Devolutions inc. -
topgradeManageri de pachete și actualizare · topgrade-rs - ghostscriptManageri de pachete și actualizare
-
rigManageri de pachete și actualizare · Posit Software, PBC