Hier sind 1 Versionen von cvc5 aufgeführt, von bis zur aktuellen 1.4.2. Jede verweist auf die Installationsdateien des Herstellers.
| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 1.4.2Aktuell | — | 64-Bit ZIPARM64 ZIP |
cvc5: alte Versionen herunterladen
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
- LizenzOpen Source
- Version1.4.2
- VoraussetzungWindows 10, 11
Am beliebtesten in Paketmanager & Updater
Alle anzeigen-
ChocolateyPaketmanager & Updater · Chocolatey Software, Inc. -
NuGetPaketmanager & Updater · Microsoft Corporation -
uvPaketmanager & Updater · Astral Software Inc. -
Chocolatey GUIPaketmanager & Updater · Chocolatey -
Conan Package ManagerPaketmanager & Updater · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleasePaketmanager & Updater · Martí Climent -
UniGetUIPaketmanager & Updater · Devolutions inc. -
topgradePaketmanager & Updater · topgrade-rs - ghostscriptPaketmanager & Updater
-
rigPaketmanager & Updater · Posit Software, PBC