-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path.gitmodules
More file actions
24 lines (24 loc) · 931 Bytes
/
.gitmodules
File metadata and controls
24 lines (24 loc) · 931 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
[submodule "d4-cadical-sys/cadical"]
path = d4-cadical-sys/cadical
url = https://github.com/uulm-janbaudisch/cadical.git
[submodule "d4-cadiback-sys/cadiback"]
path = d4-cadiback-sys/cadiback
url = https://github.com/uulm-janbaudisch/cadiback.git
[submodule "d4-sbva-sys/sbva"]
path = d4-sbva-sys/sbva
url = https://github.com/uulm-janbaudisch/SBVA.git
[submodule "d4-cryptominisat-sys/cryptominisat"]
path = d4-cryptominisat-sys/cryptominisat
url = https://github.com/uulm-janbaudisch/cryptominisat.git
[submodule "d4-arjun-sys/arjun"]
path = d4-arjun-sys/arjun
url = https://github.com/uulm-janbaudisch/arjun.git
[submodule "d4-oxide/d4"]
path = d4-oxide/d4
url = https://github.com/SoftVarE-Group/d4v2.git
[submodule "d4-gpmc-sys/d4"]
path = d4-gpmc-sys/d4
url = https://github.com/SoftVarE-Group/d4v2.git
[submodule "d4-glucose-sys/d4"]
path = d4-glucose-sys/d4
url = https://github.com/SoftVarE-Group/d4v2.git