Pinned
We're happy to announce that we will be soon moving to cvc5! May 1 we will migrate the GitHub repository and we expect the first stable release of cvc5 in Fall 2021.
Complete announcement:
CVC4
@CVC4SolverCVC4 is an efficient open-source SMT solver. It is a joint project led by Stanford University and the University of Iowa.