At a Glance
| Applications | SMT Solver Theorem Prover |
| Developers | Stanford University University of Iowa |
| Inputs | SMTLIB2 |
| Interfaces | CLI Online |
| Licenses | BSD-3-Clause |
| Maintenance | Actively Maintained |
Description
cvc5 is an automatic theorem prover for SMT problems.
Publications
- cvc5: A Versatile and Industrial-Strength SMT Solver (2022) by Barbosa, Haniel et. al. | Appears in TACAS 2022 (415-442) | Published by Springer | 10.1007/978-3-030-99524-9_24