CVC4

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

Try CVC4 online!


CI

Towards Satisfiability Modulo Parametric Bit-vectors

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark Barrett, Cesare Tinelli

This site provides our paper Towards Satisfiability Modulo Parametric Bit-vectors and related material published in the Journal of Automated Reasoning (JAR).

This paper is an extended version of our paper at CADE 2019, which can be found here.

All materials to reproduce the experimental evaluation in our paper can be found below.

Downloads