.gitmodules

[submodule "benchmarks/third-party/x-sat"]
	path = benchmarks/third-party/x-sat
	url = https://github.com/shaowei-cai-group/X-SAT.git
	ignore = all
[submodule "benchmarks/third-party/aiger"]
	path = benchmarks/third-party/aiger
	url = https://github.com/arminbiere/aiger.git
	ignore = all
[submodule "benchmarks/third-party/abc"]
	path = benchmarks/third-party/abc
	url = https://github.com/berkeley-abc/abc.git
	ignore = all
[submodule "benchmarks/third-party/CnC"]
	path = benchmarks/third-party/CnC
	url = https://github.com/marijnheule/CnC.git
	ignore = all
[submodule "benchmarks/third-party/cir_bench"]
	path = benchmarks/third-party/cir_bench
	url = https://github.com/santoshsmalagi/Benchmarks.git
	ignore = all
[submodule "deps/cadical"]
	path = deps/cadical
	url = https://github.com/arminbiere/cadical.git
	ignore = all