Tersedia 1 versi cvc5, mulai dari hingga versi terbaru 1.4.2. Setiap versi tertaut ke file installer milik penerbit.
| Versi | Tanggal | Ukuran | File |
|---|---|---|---|
| 1.4.2Terbaru | — | 64-bit ZIPARM64 ZIP |
Download cvc5 versi lama dan semua versi
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
- LisensiOpen source
- Versi1.4.2
- PersyaratanWindows 10, 11
Terpopuler di Package manager & updater
Lihat semua-
ChocolateyPackage manager & updater · Chocolatey Software, Inc. -
NuGetPackage manager & updater · Microsoft Corporation -
uvPackage manager & updater · Astral Software Inc. -
Chocolatey GUIPackage manager & updater · Chocolatey -
Conan Package ManagerPackage manager & updater · JFrog -
UniGetUIPackage manager & updater · Devolutions inc. -
topgradePackage manager & updater · topgrade-rs - ghostscriptPackage manager & updater
-
rigPackage manager & updater · Posit Software, PBC -
Zero InstallPackage manager & updater · 0install.net