Patrick Lühne e6a9ccf167 Updated clingo.		2017-03-10 15:48:04 +01:00
..
catch@c6535a080e	Updated Catch to 1.8.1.	2017-03-06 17:06:25 +01:00
clingo@5618a714eb	Updated clingo.	2017-03-10 15:48:04 +01:00
variant@916139a2e5	Added MapBox variant library as submodule.	2017-03-07 23:51:58 +01:00