Software used for the paper "Merge-and-Shrink Heuristics for Classical Planning: Efficient Implementation and Partial Abstractions" - Sievers, Silvan (2018)