At a Glance
| Applications | Modeling Language Theorem Prover |
| Developers | Lean FRO |
| Licenses | Apache-2.0 |
| Maintenance | Actively Maintained |
Description
cvc5 is an automatic theorem prover for SMT problems.
| Applications | Modeling Language Theorem Prover |
| Developers | Lean FRO |
| Licenses | Apache-2.0 |
| Maintenance | Actively Maintained |
cvc5 is an automatic theorem prover for SMT problems.