Patrick Lühne 6b1cf6735e Update clingo to 5.2.2		2018-03-21 16:41:08 +01:00
..
catch@0a34cc201e	Update Catch to 2.2.1	2018-03-21 16:35:54 +01:00
clingo@e2187b697f	Update clingo to 5.2.2	2018-03-21 16:41:08 +01:00