1 versions of cvc5 are listed here, from to the current 1.4.2. Each one links to the publisher’s own installer files.
| Version | Date | Size | Files |
|---|---|---|---|
| 1.4.2Latest | — | 64-bit ZIPARM64 ZIP |
cvc5: all versions and old releases
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
- LicenceOpen source
- Version1.4.2
- RequiresWindows 10, 11
Most popular in Package managers & updaters
See all-
ChocolateyChocolatey is The Package Manager for Windows. It was designed to be a decentralized framework for quickly installing applications and tools that you need. It is built on the NuGet infrastructure and uses PowerShell as its focus for delivering packages. -
NuGetThe package manager for .NET -
uvAn extremely fast Python package and project manager, written in Rust. -
Chocolatey GUIA delicious GUI for Chocolatey -
Conan Package ManagerAn open source, decentralized C/C++ package manager, to automate building and sharing of packages. -
UniGetUI (formerly WingetUI) - Pre-ReleaseA better UI for your package managers -
UniGetUIThe Graphical Interface for your package managers. -
topgradeDetects which tools you use and runs the appropriate commands to update them. - ghostscriptAn interpreter for the PostScript language and for PDF
-
rigThe R Installation Manager