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
|
|
|
|
url = https://github.com/philsquared/Catch
|
2017-03-07 23:51:58 +01:00
|
|
|
[submodule "lib/variant"]
|
|
|
|
path = lib/variant
|
|
|
|
url = https://github.com/mapbox/variant
|