Patrick Lühne dbf3fced9e Updated clingo.		2017-03-07 23:49:34 +01:00
..
catch@c6535a080e	Updated Catch to 1.8.1.	2017-03-06 17:06:25 +01:00
clingo@aaf3d8f8f9	Updated clingo.	2017-03-07 23:49:34 +01:00