[submodule "minisat"]
	path = minisat
	url = https://github.com/niklasso/minisat.git
[submodule "docopt.cpp"]
	path = docopt.cpp
	url = https://github.com/docopt/docopt.cpp