An efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Try CVC4 online!
This site provides our paper Towards Bit-Width-Independent Proofs in SMT Solvers
and related material at CADE 2019.
All materials to reproduce the experimental evaluation in our paper can be