-
Notifications
You must be signed in to change notification settings - Fork 0
/
fondsat_wrapper.py
74 lines (62 loc) · 2.39 KB
/
fondsat_wrapper.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
71
72
73
74
import os
import re
import argparse
import signal
import sys
from pathlib import Path
from subprocess import Popen, PIPE, TimeoutExpired
PACKAGE_DIR = os.path.dirname(os.path.abspath(__file__))
PLANNERS_DIR = str(Path(PACKAGE_DIR, "planners").resolve()) # type: ignore
FONDSAT_DIR = str(Path(PLANNERS_DIR, "fondsat").resolve()) # type: ignore
OUTPUT_DIR = str(Path(PACKAGE_DIR, "static/output/plan").resolve()) # type: ignore
def launch(cmd):
"""Launch a command."""
process = Popen(
args=cmd,
stdout=PIPE,
stderr=PIPE,
preexec_fn=os.setsid,
encoding="utf-8",
)
try:
output, error = process.communicate(timeout=30)
return str(output).strip(), str(error).strip()
except TimeoutExpired:
os.killpg(os.getpgid(process.pid), signal.SIGTERM)
return None, None
def plan(domain_path, problem_path, strong):
"""Planning for temporally extended goals (LTLf or PLTLf)."""
rm_cmd = ["rm", f"{OUTPUT_DIR}/*.dot", f"{OUTPUT_DIR}/*.txt"]
launch(rm_cmd)
planner_command = [sys.executable, f"{FONDSAT_DIR}/main.py", f"{domain_path}", f"{problem_path}", "-strong",
f"{strong}", "-policy", "1", f"-time_limit", "300"]
out, err = launch(planner_command)
result = re.search(
r"-> OUT OF TIME|-> OUT OF TIME/MEM",
out,
)
if result:
print(out)
elif err:
print(err)
else:
with open(f"{OUTPUT_DIR}/policy.txt", "w+") as f:
f.write(re.search(r"##SOLVED##(.*)", out, re.DOTALL).group(1).strip())
draw_command = [sys.executable, f"{FONDSAT_DIR}/draw.py", "-i", f"{OUTPUT_DIR}/policy.txt", "-o",
f"{OUTPUT_DIR}/policy.dot"]
launch(draw_command)
rm_cmd = ["rm", "*.sas", "*-temp.txt*"]
launch(rm_cmd)
if __name__ == '__main__':
"""
Usage: python fondsat_wrapper.py -d <DOMAIN-PATH> -p <PROBLEM-PATH> -s <STRONG>
"""
parser = argparse.ArgumentParser(description="Wrapper for fondsat.")
parser.add_argument('-d', dest='domain_path', type=Path, required=True)
parser.add_argument('-p', dest='problem_path', type=Path, required=True)
parser.add_argument('-s', dest='strong', type=int, choices={0, 1}, required=True)
args = parser.parse_args()
domain_path = args.domain_path
problem_path = args.problem_path
strong = args.strong
plan(domain_path, problem_path, strong)