cvc5-ohjelmasta on luettelossa 1 versio, ensimmäinen ja uusin 1.4.2. Jokainen versio linkittää julkaisijan omiin asennustiedostoihin.
| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 1.4.2Uusin | — | 64-bittinen ZIPARM64 ZIP |
cvc5: vanhemmat versiot ja versiohistoria
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
- LisenssiAvoin lähdekoodi
- Versio1.4.2
- VaatimuksetWindows 10, 11
Suosituin kategoriassa Paketinhallinta ja päivittäjät
Näytä kaikki-
ChocolateyPaketinhallinta ja päivittäjät · Chocolatey Software, Inc. -
NuGetPaketinhallinta ja päivittäjät · Microsoft Corporation -
uvPaketinhallinta ja päivittäjät · Astral Software Inc. -
Chocolatey GUIPaketinhallinta ja päivittäjät · Chocolatey -
Conan Package ManagerPaketinhallinta ja päivittäjät · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleasePaketinhallinta ja päivittäjät · Martí Climent -
UniGetUIPaketinhallinta ja päivittäjät · Devolutions inc. -
topgradePaketinhallinta ja päivittäjät · topgrade-rs - ghostscriptPaketinhallinta ja päivittäjät
-
rigPaketinhallinta ja päivittäjät · Posit Software, PBC