At a Glance
| Applications | SMT Solver Theorem Prover |
| Developers | Stanford University University of Iowa |
| Inputs | SMTLIB2 |
| Interfaces | CLI Online |
| Licenses | BSD-3-Clause |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2021
cvc4 is an automatic theorem prover for SMT problems. It is succeeded by cvc5
Publications
- CVC4 (July 2011) by Barrett, Clark W. et. al. | Appears in CAV 2011 (171-177) | Volume 6806 | Published by Springer | 10.1007/978-3-642-22110-1_14