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.