-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.gitmodules
60 lines (60 loc) · 2.03 KB
/
.gitmodules
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
[submodule "include/macros"]
path = include/macros
url = ../../krr-up/asp-macros
[submodule "include/bibliography"]
path = include/bibliography
url = ../../krr-up/bibliography
[submodule "include/logos"]
path = include/logos
url = ../../krr-up/logos
[submodule "include/organization"]
path = include/organization
url = ../../potassco-asp-course/organization
[submodule "include/motivation"]
path = include/motivation
url = ../../potassco-asp-course/motivation
[submodule "include/introduction"]
path = include/introduction
url = ../../potassco-asp-course/introduction
[submodule "include/modeling"]
path = include/modeling
url = ../../potassco-asp-course/modeling
[submodule "include/language"]
path = include/language
url = ../../potassco-asp-course/language
[submodule "include/systems"]
path = include/systems
url = ../../potassco-asp-course/systems
[submodule "include/ezasp"]
path = include/ezasp
url = ../../potassco-asp-course/ezasp
[submodule "include/encoding"]
path = include/encoding
url = ../../potassco-asp-course/encoding
[submodule "include/meta-encoding"]
path = include/meta-encoding
url = ../../potassco-asp-course/meta-encoding
[submodule "include/controlling"]
path = include/controlling
url = ../../potassco-asp-course/controlling
[submodule "include/multi-shot-solving"]
path = include/multi-shot-solving
url = ../../potassco-asp-course/multi-shot-solving
[submodule "include/theory-solving"]
path = include/theory-solving
url = ../../potassco-asp-course/theory-solving
[submodule "include/heuristic-driven-solving"]
path = include/heuristic-driven-solving
url = ../../potassco-asp-course/heuristic-driven-solving
[submodule "include/solving"]
path = include/solving
url = ../../potassco-asp-course/solving
[submodule "include/planning"]
path = include/planning
url = ../../potassco-asp-course/planning
[submodule "include/configuration"]
path = include/configuration
url = ../../potassco-asp-course/configuration
[submodule "include/preferences"]
path = include/preferences
url = ../../potassco-asp-course/preferences