This data package is provided as supplementary material of the paper:
“A GPU Approach to Efficiently Reusing Constraint Proofs”, by M. Chen, G. Denaro and M. Pezzè,
submitted for evaluation to IEEE Transactions on software engineering, Nov. 2019.
The data package consists of 24 files:
- a file named _README.txt: this file
- a file named _programs.txt
- 22 files named <program_name>.sexpr