lapkt/lapkt-public repository overview

⁠LAPKT

This directory contains the Docker definition for an image with a number of LAPKT-Based planners

⁠Available Tools

As of now, the image features the following planners:

• The LAPKT⁠ planning toolkit.

Additionally, The image pre-compiles the following planners, which are ready to run:

• bfs_f
• dfs_plus
• siw
• siw_plus
• siw-then-bfsf
• ff

Each of the previous tools lies on the subdirectory /root/projects/lapkt/compiled_planners

⁠Basic Usage

In order to use the docker images, you need to have Docker installed on your machine⁠.

Once that is done, you can pull the image with (you may need sudo rights)

docker pull lapkt/lapkt-public

Then start the container interactively:

docker run -it lapkt/lapkt-public

and use any of the provided tools, e.g.

./siw --domain ../benchmarks/ipc-2011/visitall/domain.pddl --problem ../benchmarks/ipc-2011/visitall/problem12.pddl

⁠Advanced Usage

We can run the compiled planners from the host machine:

docker run -it lapkt/lapkt-public \
./siw --domain ../benchmarks/ipc-2011/visitall/domain.pddl --problem ../benchmarks/ipc-2011/visitall/problem12.pddl > output.txt

Alternatively, we can use the same technique in order to have some planner output its results to a directory from the host machine:

docker run -it lapkt/lapkt-public \
./siw --domain ../benchmarks/ipc-2011/visitall/domain.pddl --problem ../benchmarks/ipc-2011/visitall/problem12.pddl > output.txt

Assume we have, say, some benchmarks on a ~/benchmarks directory on the host machine, and we want to run some planner in the starter kit on those benchmarks. We can start the docker container mounting the desired directory⁠ as follows:

docker run -it -v ~/benchmarks:/root/projects/benchmarks lapkt/lapkt-public

and the desired benchmarks will be accessible under /root/projects/benchmarks.

⁠Acknowledgements

Script based on aig-upf/starter-kit docker repository