 Sander Mathijs van Veen
|
3c4c11f688
Add AGPLv3 header to all source files.
|
13 năm trước cách đây |
|
Taddeus Kroes
|
42662f455b
Changed negation precedence to that of subtraction and modified rules+tests correspondingly.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
6e8d634547
Group combinations now support negated constants.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
bf7d96e602
Fixed unit tests form group rules.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
6f628ddddb
Added group combination to rules.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
efc3c91bf6
Added non-strict equivalence match.
|
14 năm trước cách đây |
