-
Notifications
You must be signed in to change notification settings - Fork 0
/
Configuration.py
executable file
·70 lines (45 loc) · 2.31 KB
/
Configuration.py
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
64
65
66
67
68
69
70
# Copyright (c) 2022, Leonardo Lamanna
# All rights reserved.
# This source code is licensed under the MIT-style license found in the
# LICENSE file in the root directory of this source tree.
# Output in console or in log file, set to True for debugging
OUTPUT_CONSOLE = False
# For each operator, remove all uncertain negative effects that are not in the preconditions
NEG_EFF_ASSUMPTION = False
# Set resolution time limit
TIME_LIMIT_SECONDS = 3600000
# Set maximum iterations number
MAX_ITER = 10000
# Set planner time limit
PLANNER_TIME_LIMIT = 60
# Maximum negated preconditions length
MAX_PRECS_LENGTH = 8
# Numpy random seed
RANDOM_SEED = 0
#########################################################################################################
# ADL2STRIPS generated file (don't change this)
#########################################################################################################
ADL2STRIPS_FILE = "domain.pddl"
#########################################################################################################
# Test directories
#########################################################################################################
ROOT_DIR = "Analysis/"
ROOT_TEST_DIR = "{}Tests/".format(ROOT_DIR)
ROOT_BENCHMARKS_DIR = "{}Benchmarks/".format(ROOT_DIR)
INSTANCE_DATA_PATH_PDDL = "" # Updated runtime
BENCHMARK_DIR = "" # Updated runtime
#########################################################################################################
# PDDL problem files path
#########################################################################################################
DOMAIN_FILE_NAME = "PDDL/domain.pddl"
#########################################################################################################
# LogReader parameters (for statistics)
#########################################################################################################
STRATEGIES = ["FD", "Random"]
#########################################################################################################
# Others
#########################################################################################################
# Java directory containing jdk
JAVA_DIR = 'Java'
# Java bin path
JAVA_BIN_PATH = "" # This is set runtime