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
|
[submodule "utils/OutputCheck"]
path = utils/OutputCheck
url = https://github.com/stp/OutputCheck.git
[submodule "utils/gtest"]
path = utils/gtest
url = https://github.com/stp/googletest.git
[submodule "utils/cnf-utils"]
path = utils/cnf-utils
url = https://github.com/msoos/cnf-utils.git
[submodule "utils/sha1-sat"]
path = utils/sha1-sat
url = https://github.com/msoos/sha1-sat.git
[submodule "utils/licensecheck"]
path = utils/licensecheck
url = https://github.com/msoos/licensecheck.git
[submodule "scripts/build_scripts"]
path = scripts/build_scripts
url = https://github.com/msoos/cryptominisat_build.git
[submodule "utils/minisat_only_elim_and_subsume"]
path = utils/minisat_only_elim_and_subsume
url = https://github.com/msoos/minisat
branch = only_elim_and_subsume
[submodule "tests/simp-checks/simplifiy_testfiles"]
path = tests/simp-checks/simplifiy_testfiles
url = https://github.com/msoos/simplifiy_testfiles
[submodule "minisat-fuzz"]
path = utils/minisat
url = https://github.com/msoos/minisat
branch = fuzzer
[submodule "tests/xor_cnf_tests"]
path = tests/xor_cnf_tests
url = https://github.com/msoos/xor_testfiles.git
[submodule "tests/pbsugar"]
path = tests/pbsugar
url = https://github.com/msoos/pbsugar
[submodule "utils/lingeling-ala"]
path = utils/lingeling-ala
url = https://github.com/msoos/lingeling-ala/
|
