Back to the HomePage.

Quick start

We support multiple ways of running Fast Downward. The instructions below assume that your PDDL files reside in the directory $BENCHMARKS.

Docker image

Install Docker and run

   1 docker run --rm -v $BENCHMARKS:/benchmarks aibasel/downward:latest --alias lama-first /benchmarks/gripper/prob01.pddl

This makes the local directory $BENCHMARKS available in the container under /benchmarks. Note that the $BENCHMARKS path needs to be absolute.