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
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.