 Sander Mathijs van Veen
|
3c4c11f688
Add AGPLv3 header to all source files.
|
13 年之前 |
|
Taddeus Kroes
|
7e9c999323
Relative precedences in strategy now support more than 2 functions in the same list.
|
14 年之前 |
|
Taddeus Kroes
|
358e632e61
Moved n-ary operator definition to a constant list.
|
14 年之前 |
|
Taddeus Kroes
|
e796e899cc
Added a small optimization to possibility comparision.
|
14 年之前 |
|
Taddeus Kroes
|
d86dda9273
Finished separating parser state and interactive state, and added first version of strategy.
|
14 年之前 |
|
Taddeus Kroes
|
42662f455b
Changed negation precedence to that of subtraction and modified rules+tests correspondingly.
|
14 年之前 |
|
Taddeus Kroes
|
0a006952ae
Added rules and chain test for solving der(x ^ x) (among others).
|
14 年之前 |
|
Sander Mathijs van Veen
|
5acc67df21
Fixed leiden oefenopgaves test cases 4.3 and 4.5.
|
14 年之前 |
|
Taddeus Kroes
|
e20e19366d
Added some numeric division rules.
|
14 年之前 |
|
Sander Mathijs van Veen
|
1d21942339
Successfully rewriting of assignment 1 of leiden oefenopgaven.
|
14 年之前 |
