Back to the HomePage.

Quick start

With Docker, Singularity or Vagrant you can run the latest Fast Downward release without having to compile the planner yourself. In addition, you can obtain the source code of the latest release and build it manually. The instructions below assume that your PDDL files reside in the directory $BENCHMARKS.

Docker

Install Docker and run

   1 docker run --rm -v $BENCHMARKS:/benchmarks aibasel/downward --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.

Singularity

Install Singularity 2.x (we have not tested versions 3.x) and run

   1 singularity run shub://aibasel/downward --alias lama-first $BENCHMARKS/gripper/prob01.pddl

Vagrant

• Install Vagrant.

• Download the Vagrantfile for the latest release and put it into some empty directory.

• Put your PDDL files into the same directory.

• Navigate to this directory in a terminal and type vagrant up.

• Log into the Vagrant virtual machine by typing vagrant ssh.

• Navigate to the /home/vagrant/downward/ directory.

• Run ./fast-downward.py --alias lama-first path/to/your/pddl/file.

• To shutdown the machine type vagrant halt.

Source code

• See ObtainingAndRunningFastDownward