Replication Package for the Paper "A Lazy and Modular Approach to Int-Blasting"

<p>Replication package for the paper:<br>"A Lazy and Modular Approach to Int-Blasting" by Max Barth, Matthias Heizmann and Jochen Hoenicke.</p> <p>It contains the results presented in the evaluation of our paper. Addtionally, it contains the necessary tools and benchmarks to reproduce our results.<br>The included README contains detailed instructions.</p> <p>&nbsp;</p>