Pricing
cvc5 pricing
As cvc5.github.io lists them, read 11 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| cvc5 | Open-source solver; optional GPL-licensed dependencies change the license of the combined work | Free |
From cvc5.github.io.