|
⇤ ← Revision 1 as of 2019-06-07 10:19:19
Size: 570
Comment:
|
Size: 1397
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 7: | Line 7: |
| == Docker image == | == Docker == |
| Line 12: | Line 12: |
| docker run --rm -v $BENCHMARKS:/benchmarks aibasel/downward:latest --alias lama-first /benchmarks/gripper/prob01.pddl | docker run --rm -v $BENCHMARKS:/benchmarks aibasel/downward --alias lama-first /benchmarks/gripper/prob01.pddl |
| Line 16: | Line 16: |
== Singularity == Install [[https://www.sylabs.io/guides/2.6/user-guide/quick_start.html#quick-installation-steps|Singularity 2.x]] (we have not tested versions 3.x) and run {{{#!highlight bash singularity run shub://aibasel/downward --alias lama-first $BENCHMARKS/gripper/prob01.pddl }}} == Vagrant == * Install [[https://www.vagrantup.com/|Vagrant]]. * Download the Vagrantfile for the latest [[Releases|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`. |
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.