Patrick Lühne 0d5fb00286 Updated clingo.		2017-06-06 19:26:33 +02:00
..
catch@a0ada2e935	Updated Catch.	2017-05-04 12:45:39 +02:00
clingo@cc83b3b231	Updated clingo.	2017-06-06 19:26:33 +02:00