2 Commits

Include renames

Author	SHA1	Message	Date
patrick	ecd5fc404c	Updated clingo.	2016-11-25 17:38:25 +01:00
patrick	3100f4a733	Initial commit.	2016-11-21 17:53:46 +01:00