forked from ronwalf/HTN-Translation
-
Notifications
You must be signed in to change notification settings - Fork 0
/
htn-translation.cabal
92 lines (82 loc) · 2.46 KB
/
htn-translation.cabal
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
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
Name: htn-translation
Version: 0.3.1
Cabal-Version: >= 1.8
Build-Type: Simple
License: BSD3
License-File: LICENSE
Author: Ron Alford <[email protected]>
Maintainer: Ron Alford <[email protected]>
Homepage: https://github.com/ronwalf/HTN-Translation
Category: AI
Synopsis: A library for translating HTNs into PDDL domains
Description: HTNTranslation is a program for translating Hierarchical Task Network problems into PDDL. This is an extension of the work described in "Translating HTNs to PDDL," handling both totally ordered and partially ordered subtasks.
source-repository head
type: git
location: git://github.com/ronwalf/HTN-Translation.git
branch: master
source-repository this
type: git
location: git://github.com/ronwalf/HTN-Translation.git
tag: release-0.2
Library
Build-Depends:
base >= 4 && < 5,
containers >= 0.2.0.0,
parsec >= 3,
prettyprinter >= 1.2,
mtl >= 1,
syb >= 0.1,
text >= 1.2,
planning >= 0.3
Exposed-modules:
HTNTranslation.HTNPDDL,
HTNTranslation.ADLTranslation,
HTNTranslation.ADLTranslation2,
HTNTranslation.Translation,
HTNTranslation.TOTranslation,
HTNTranslation.TOTranslation09,
HTNTranslation.ProblemLifter,
HTNTranslation.ProgressionBounds,
HTNTranslation.ProgressionMin
Hs-Source-Dirs: src
GHC-Options: -Wall -fprof-auto
Executable htntranslate
Main-Is: htntranslate.hs
Build-Depends:
base >= 4 && < 5,
containers >= 0.2.0.0,
parsec >= 3,
prettyprinter >= 1.2,
planning >= 0.2,
mtl >= 1,
text >= 1.2,
htn-translation
Hs-Source-Dirs: src-cmdline
GHC-Options: -Wall
Executable htnunlift
Main-Is: htnunlift.hs
Build-Depends:
base >= 4 && < 5,
containers >= 0.2.0.0,
parsec >= 3,
prettyprinter >= 1.2,
planning >= 0.2,
mtl >= 1,
filepath >= 1.4.0,
text >= 1.2,
htn-translation
Hs-Source-Dirs: src-cmdline
GHC-Options: -Wall
Executable htntranslate-prof
Main-Is: htntranslate.hs
Build-Depends:
base >= 4 && < 5,
containers >= 0.2.0.0,
parsec >= 3,
prettyprinter >= 1.2,
planning >= 0.2,
mtl >= 1,
text >= 1.2,
htn-translation
Hs-Source-Dirs: src-cmdline
GHC-Options: -Wall -O2 -threaded -fprof-auto "-with-rtsopts=-N -p -s -h -i0.1"