[submodule "third_party/sleigh"]
	path = third_party/sleigh
	url = https://github.com/borzacchiello/csleigh
[submodule "third_party/pugixml"]
	path = third_party/pugixml
	url = https://github.com/zeux/pugixml
[submodule "third_party/xxHash"]
	path = third_party/xxHash
	url = https://github.com/Cyan4973/xxHash
[submodule "third_party/catch2"]
	path = third_party/catch2
	url = https://github.com/catchorg/Catch2
[submodule "third_party/argparse"]
	path = third_party/argparse
	url = https://github.com/p-ranav/argparse
[submodule "third_party/z3"]
	path = third_party/z3
	url = https://github.com/Z3Prover/z3
