Patrick Lühne 5f8c144628 Fixed regression in simplifying predicates with more than one argument.		2017-06-12 18:27:39 +02:00
..
anthem	Fixed regression in simplifying predicates with more than one argument.	2017-06-12 18:27:39 +02:00
CMakeLists.txt	Refactored error handling.	2017-05-31 18:03:19 +02:00