10 Commits

Include renames

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