-
Notifications
You must be signed in to change notification settings - Fork 1
/
LiftedTreePath.def
63 lines (53 loc) · 2.2 KB
/
LiftedTreePath.def
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
Bootstrap: docker
From: ubuntu:22.04
%files
## This copies all files in this repository into the container.
## If you do so, please remove all files not needed to run the planner
## (e.g. source-code, testing or debugging planning problems) from the container
## to decrease its size as much as possible.
. /planner
%setup
## The "%setup"-part of this script is called to bootstrap an empty
## container.
%post
## The "%post"-part of this script is called after the container has
## been created with the "%setup"-part above and runs "inside the
## container". Most importantly, it is used to install dependencies
## and build the planner. Add all commands that have to be executed
## once before the planner runs in this part of the script.
## Install all necessary dependencies.
apt-get update
apt-get -y install git cmake build-essential libz-dev flex bison
## go to directory and make the planner
cd /planner/liftedTreePath
make clean && mkdir -p build && cd build && cmake .. -DCMAKE_BUILD_TYPE=RELEASE -DIPASIRSOLVER=glucose4 && make -j 8 && cd ..
# ./gradlew build
## remove files not needed to execute the planner
%runscript
## The runscript is called whenever the container is used to solve
## an instance.
## DOMAINFILE and PROBLEMFILE contain the HDDL input files.
DOMAINFILE=$1
PROBLEMFILE=$2
## PLANFILE is the name of the file to which your planner should write the plan it found.
PLANFILE=$3
TIMELIMIT=$4
MEMORYLIMIT=$5
## run your planner here
/planner/liftedTreePath/build/lilotane $1 $2 -vp=0 -edo=0 -aar=0 -v=0 -useLiftedTreePathEncoder=1 -wp=$3
## Update the following fields with meta data about your submission.
## Please use the same field names and use only one line for each value.
%labels
Name LiftedTreePath
Description LiftedTreePath
Authors Damien Pellier <damien.pellier@imag.fr> and Humbert Fiorino <humbert.fiorino@imag.fr> and Oleksandr Firsov <oleksandr.firsov@univ-grenoble-alpes.fr> and Gaspard Quenard <gaspard.quenard@univ-grenoble-alpes.fr>
SupportsRecursion yes
SupportsTotalOrder yes
SupportsPartialOrder no
SupportsOptimalPlanning no
Track-TO-agile yes
Track-TO-satisficing yes
Track-TO-optimal no
Track-PO-agile no
Track-PO-satisficing no
Track-PO-optimal no