Patrick Lühne 57bc28bfd3 Updated clingo.		2017-04-10 16:52:48 +02:00
..
catch@c6990cdf91	Updated Catch.	2017-04-10 14:50:49 +02:00
clingo@a49d599c0e	Updated clingo.	2017-04-10 16:52:48 +02:00