Patrick Lühne ecd5fc404c Updated clingo.		2016-11-25 17:38:25 +01:00
..
catch@e27c4ee042	Initial commit.	2016-11-21 17:53:46 +01:00
clingo@df0c643519	Updated clingo.	2016-11-25 17:38:25 +01:00