Patrick Lühne 7753c22132 Updated clingo.		2017-04-01 03:12:51 +02:00
..
catch@0c015aa887	Updated Catch.	2017-03-15 19:23:15 +01:00
clingo@f68e404910	Updated clingo.	2017-04-01 03:12:51 +02:00