|
Size: 570
Comment:
|
Size: 1743
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 5: | Line 5: |
| We support multiple ways of running Fast Downward. The instructions below assume that your PDDL files reside in the directory `$BENCHMARKS`. | 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`. |
| 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`. == Source code == * See ObtainingAndRunningFastDownward = Next steps = * [[PlannerUsage|Examples]] * [[../|Documentation]] * [[ScriptUsage|Running experiments]] |
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