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 년 전