16 Commits

Include renames

Author	SHA1	Message	Date
patrick	d999415c3d	Enforcing move semantics on all AST elements explicitly.	2017-04-11 15:55:31 +02:00
patrick	57bc28bfd3	Updated clingo.	2017-04-10 16:52:48 +02:00
patrick	5fd5b4c1ab	Updated Catch.	2017-04-10 14:50:49 +02:00
patrick	cc27ed7595	Updated Catch.	2017-04-08 14:05:03 +02:00
patrick	7753c22132	Updated clingo.	2017-04-01 03:12:51 +02:00
patrick	6108adf885	Updated clingo.	2017-03-29 20:53:31 +02:00
patrick	825cd4de39	Refactored formula simplification with Clingo’s variants.	2017-03-23 00:44:10 +01:00
patrick	f85236955f	Updated Catch.	2017-03-15 19:23:15 +01:00
patrick	7ff537a515	Updated MapBox variant.	2017-03-13 15:20:08 +01:00
patrick	e6a9ccf167	Updated clingo.	2017-03-10 15:48:04 +01:00
patrick	76fb530492	Added MapBox variant library as submodule.	2017-03-07 23:51:58 +01:00
patrick	dbf3fced9e	Updated clingo.	2017-03-07 23:49:34 +01:00
patrick	a75307400a	Updated Catch to 1.8.1.	2017-03-06 17:06:25 +01:00
patrick	c66c711823	Updated Catch.	2016-12-05 16:21:00 +01:00
patrick	ecd5fc404c	Updated clingo.	2016-11-25 17:38:25 +01:00
patrick	3100f4a733	Initial commit.	2016-11-21 17:53:46 +01:00