4 Commits

Author	SHA1	Message	Date
Patrick Lühne	ac7a0f6d4c	Fixed typo.	2017-04-08 18:42:36 +02:00
Patrick Lühne	8ddf068eeb	Removed unnecessary include directive.	2017-04-08 18:38:37 +02:00
Patrick Lühne	c8cd6fec48	Added test case for incorrectly simplified rules with comparison.	2017-03-28 17:10:38 +02:00
Patrick Lühne	32e6301b5e	Added some unit tests for the simplification procedure.	2017-03-23 15:14:32 +01:00