Source code bundle for the experiments on cumulative lifting

This code bundle contains: the implementation of the cumulative lifting approach with the experimental infrastructure, R scripts for analyzing the experimental data, the modified version of the Pumpkin solver that outputs the intermediate lower bounds when run in dual (UNSAT-SAT) mode, and a simple validator for verifying the correctness of lifting constraints, accompanied by the data files corresponding to the constraints reported in Table 4 of the paper. Please consult the individual `README.md` files for the instructions specific to the archive.