Software used for the paper "Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks"

This software bundle contains a modified version of Fast Downward (based on
commit a01b8e5013af) with the implementations described in the paper and
experiment scripts (under experiments/pddl-symmetries) that can be run using
Downward-Lab (see https://doi.org/10.5281/zenodo.399255) to reproduce all
experiments of the paper (the resulting data and benchmarks are available here:
https://doi.org/10.5281/zenodo.2621424). The script paper-tables.py collects all
data and creates the reports displayed in the paper.