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 ([e-mail])本数据集为马克斯·巴尔特（Max Barth）、马蒂亚斯·海茨曼（Matthias Heizmann）和约亨·亨里克（Jochen Hoenicke）合著的论文《一种惰性模块化整数爆破（Int-Blasting）方法》（A Lazy and Modular Approach to Int-Blasting）的复现包。本数据集包含该论文实验评估环节所呈现的全部结果。此外，本数据集还附带了复现该论文实验结果所需的工具集与基准测试集。随附的自述文件（README）包含详细的操作指南。若您在使用过程中遇到任何问题，可随时联系马克斯·巴尔特（[e-mail]）