Code, benchmarks and data for the paper "Delete Relaxation with Axioms"

This archive contains the code, benchmarks, experimental data, and validation software for the paper titled "Delete Relaxation with Axioms".

Planners

The repository comprises three planners:

* IH 2015, based on Fast Downward by Ivankovic and Haslum.

* A patched version of FF-X, a planner by Jörg Hoffmann from "In Defense of PDDL Axioms". Our patch modifies the code so that a plan is returned in a format that is easier to parse.

* "Fast Downward Unrolling", our implementation of the unrolling relaxation for tasks with axioms.

Benchmarks

The benchmarks tarball contains the PDDL benchmarks used for our experiments. These are based on the files from https://zenodo.org/records/12624112 whose domain definitions contain derived predicates.

Experimental Data

The data tarball contains the experimental results, and the scripts tarball contains the scripts used to run the planners.

License

This archive contains multiple components under different licenses. See the `LICENSE` and `README` files in the corresponding folders for details. No license is overridden by this aggregation.

* Fast Downward with Unrolling: GPLv3
* ValAx: GPLv3
* FF-X: GPL, according to the original distribution
* IH2015: CC BY-SA 4.0
* CLASP, included in IH2015: GPLv2
* VAL, included in IH2015: GPLv2