Solving Quantified Bit-Vectors Using Invertibility Conditions

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett and Cesare Tinelli

This site provides our paper "Solving Quantified Bit-Vectors using Invertibility Conditions" at CAV 2018.
An extended version of our paper at CAV 2018 can be found here .

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