17 Commits

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