Software used for the paper "Merge-and-Shrink Heuristics for Classical Planning: Efficient Implementation and Partial Abstractions"

2018-06-16T05:45:17Z (GMT) by Sievers, Silvan

This software bundle contains everything needed to reproduce the experiments of the paper. In particular, all files with "previous-vs-optimized-implementation" in their name belong to the first experiment of the paper, while those with "partial-abstractions" in their name belong to the second experiment of the paper. Files with "code" in their name contain Fast Downward source code. Files with "lab" in their name contain Downward-Lab source code. Files with "scripts" in their name contain all the Downward-Lab scripts used to run the experiments, which however would need to be adapted with respect to paths and import directives (and likely, more).