11 Commits

Author	SHA1	Message	Date
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