taddeus/trs

Автор	SHA1 Съобщение	Дата
Sander Mathijs van Veen	3c4c11f688 Add AGPLv3 header to all source files.	преди 13 години
Taddeus Kroes	42662f455b Changed negation precedence to that of subtraction and modified rules+tests correspondingly.	преди 14 години
Taddeus Kroes	6e8d634547 Group combinations now support negated constants.	преди 14 години
Taddeus Kroes	bf7d96e602 Fixed unit tests form group rules.	преди 14 години
Taddeus Kroes	6f628ddddb Added group combination to rules.	преди 14 години
Taddeus Kroes	efc3c91bf6 Added non-strict equivalence match.	преди 14 години