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 年之前