anthem/.gitmodules

[submodule "lib/clingo"]
	path = lib/clingo
	url = https://github.com/potassco/clingo
[submodule "lib/catch"]
	path = lib/catch
	url = https://github.com/catchorg/Catch2
[submodule "lib/cxxopts"]
	path = lib/cxxopts
	url = https://github.com/jarro2783/cxxopts
Initial commit. 2016-11-21 17:51:14 +01:00			`[submodule "lib/clingo"]`
			`path = lib/clingo`
			`url = https://github.com/potassco/clingo`
			`[submodule "lib/catch"]`
			`path = lib/catch`
Update Catch to 2.2.1 2018-03-21 16:35:54 +01:00			`url = https://github.com/catchorg/Catch2`
Drop Boost dependency Boost was only used for program option parsing. To avoid this huge dependency, this commit replaces boost::program_options with cxxopts, a header-only library with the same functionality. cxxopts is added as a submodule, and Boost is removed from the dependencies in the code and Travis configuration. 2018-03-25 16:59:15 +02:00			`[submodule "lib/cxxopts"]`
			`path = lib/cxxopts`
			`url = https://github.com/jarro2783/cxxopts`