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

Replication package for the paper:
"A Lazy and Modular Approach to Int-Blasting" by Max Barth, Matthias Heizmann and Jochen Hoenicke.

It contains the results presented in the evaluation of our paper. Addtionally, it contains the necessary tools and benchmarks to reproduce our results.
The included README contains detailed instructions.

If you run into any problems, feel free to contact Max Barth (Max.Barth@lmu.de)