An efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
About
News
Downloads
Documentation
Publications
Awards
People
History
Third-Party Applications
Acknowledgements
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 found below.