.gitmodules

[submodule "dependencies/abc"]
	path = dependencies/abc
	url = https://github.com/shubham-goel/ABC
[submodule "dependencies/scalmc"]
	path = dependencies/scalmc
	url = https://github.com/shubham-goel/scalmcSampling
[submodule "benchmarks"]
	path = benchmarks
	url = https://github.com/BooleanFunctionalSynthesis/benchmarks