forked from potassco/clingo
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitmodules
25 lines (25 loc) · 813 Bytes
/
.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
[submodule "clasp"]
path = clasp
url = https://github.com/potassco/clasp.git
branch = dev
[submodule "third_party/catch"]
path = third_party/catch
url = ../../catchorg/Catch2.git
[submodule "third_party/ordered-map"]
path = third_party/ordered-map
url = ../../Tessil/ordered-map.git
[submodule "third_party/hopscotch-map"]
path = third_party/hopscotch-map
url = ../../Tessil/hopscotch-map.git
[submodule "third_party/sparse-map"]
path = third_party/sparse-map
url = ../../Tessil/sparse-map.git
[submodule "third_party/optional"]
path = third_party/optional
url = ../../TartanLlama/optional.git
[submodule "third_party/variant"]
path = third_party/variant
url = ../../mpark/variant.git
[submodule "third_party/wide-integer"]
path = third_party/wide-integer
url = ../../ckormanyos/wide-integer.git