|
Size: 1743
Comment:
|
Size: 2073
Comment: Update Vagrant instructions.
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 22: | Line 22: |
| singularity run shub://aibasel/downward --alias lama-first $BENCHMARKS/gripper/prob01.pddl | singularity pull --name downward.simg shub://aibasel/downward singularity run downward.simg --alias lama-first $BENCHMARKS/gripper/prob01.pddl |
| Line 24: | Line 25: |
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. |
|
| Line 29: | Line 32: |
| * Put your PDDL files into the same directory. | * Put your PDDL files into the same directory as the Vagrantfile under the names `domain.pddl` and `problem.pddl`. |
| Line 32: | Line 35: |
| * 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`. |
* Run `downward/fast-downward.py --alias lama-first /vagrant/domain.pddl /vagrant/problem.pddl`. * Type `exit` to leave the virtual machine, then `vagrant halt` to stop it. |
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 as the Vagrantfile under the names domain.pddl and problem.pddl.
Navigate to this directory in a terminal and type vagrant up.
Log into the Vagrant virtual machine by typing vagrant ssh.
Run downward/fast-downward.py --alias lama-first /vagrant/domain.pddl /vagrant/problem.pddl.
Type exit to leave the virtual machine, then vagrant halt to stop it.
Source code