gautierdag/lapkt-arm repository overview

⁠LAPKT (https://hub.docker.com/r/lapkt/lapkt-public⁠)

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

As of now, the image features the following planners:

ff
bfs_f

(NOTE: only ff and bfs_f is compiled in this image)

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

⁠Basic Usage

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 gautierdag/lapkt-arm

Then start the container interactively:

docker run -it gautierdag/lapkt-arm

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

./bfs_f --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 gautierdag/lapkt-arm \
./bfs_f --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 gautierdag/lapkt-arm \
./bfs_f --domain ../benchmarks/ipc-2011/visitall/domain.pddl --problem ../benchmarks/ipc-2011/visitall/problem12.pddl > output.txt

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

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

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

##Acknowledgements Docker file taken from LAPKT (https://github.com/LAPKT-dev/docker-images/blob/master/lapkt-public/Dockerfile⁠) and compiled with ARM64 Script based on aig-upf/starter-kit docker repository