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
The first command downloads the Singularity image into the local file downward.simg. The second command runs Fast Downward from this image. Unlike Docker, $BENCHMARKS does not have to be an absolute path.
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