Priljubljeno: Podatki posodobljeni: 31. oktober 2026

Kategorije

Internet1361
Komunikacija321
Zvok in video903
Grafika in oblikovanje543
Pisarna in produktivnost1120
Orodja za razvijalce3139
Orodja UI534
Varnost in zasebnost388
Sistemska orodja3126
Igre524
Izobraževanje in znanost239
Omrežje in IT283

cvc5: starejše različice za prenos

An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Upravitelji paketov in posodabljanje

Seznam zajema 1 različico programa cvc5; trenutna je 1.4.2. Vsaka vodi do namestitvenih datotek na strežniku izdajatelja.

RazličicaDatumVelikostDatoteke
1.4.2Najnovejša — 64-bitno ZIPARM64 ZIP

Najbolj priljubljeno v kategoriji „Upravitelji paketov in posodabljanje“

Prikaži vse
  1. ChocolateyUpravitelji paketov in posodabljanje · Chocolatey Software, Inc.
  2. NuGetUpravitelji paketov in posodabljanje · Microsoft Corporation
  3. uvUpravitelji paketov in posodabljanje · Astral Software Inc.
  4. Chocolatey GUIUpravitelji paketov in posodabljanje · Chocolatey
  5. Conan Package ManagerUpravitelji paketov in posodabljanje · JFrog
  6. UniGetUI (formerly WingetUI) - Pre-ReleaseUpravitelji paketov in posodabljanje · Martí Climent
  7. UniGetUIUpravitelji paketov in posodabljanje · Devolutions inc.
  8. topgradeUpravitelji paketov in posodabljanje · topgrade-rs
  9. ghostscriptUpravitelji paketov in posodabljanje
  10. rigUpravitelji paketov in posodabljanje · Posit Software, PBC

Oznake

Deli