An efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Try CVC4 online!
This site provides our paper Syntax-Guided Quantifier Instantiation
and related material at TACAS 2021.
All materials to reproduce the experimental evaluation in our paper can be