taddeus/trs

Эзэн	SHA1 Мессеж	Огноо
Sander Mathijs van Veen	3c4c11f688 Add AGPLv3 header to all source files.	13 жил өмнө
Taddeus Kroes	392e4746d6 Removed some unused imports from unit tests.	14 жил өмнө
Taddeus Kroes	ea8ce3ac20 Added a set of reduction rules for expressions with absolute values.	14 жил өмнө