taddeus/trs: Mathematical term rewriting system @ 513c04f37f57d19567706c022710c71a16a61ead

Taddeus Kroes 513c04f37f Implemented some basis rewrite rules, along with unit tests for node.py.		14 سال پیش
..
__init__.py	314ca19b2d Added debug information to bison generated parser.	14 سال پیش
parser.py	aa09d9d776 Implemented CONCAT grammar, code cleanup and fixed unit tests.	14 سال پیش
rules.mk	054c926566 Added support for python coverage version 3.4.	14 سال پیش
test_calc.py	aa09d9d776 Implemented CONCAT grammar, code cleanup and fixed unit tests.	14 سال پیش
test_node.py	513c04f37f Implemented some basis rewrite rules, along with unit tests for node.py.	14 سال پیش
test_parser.py	aa09d9d776 Implemented CONCAT grammar, code cleanup and fixed unit tests.	14 سال پیش
test_rules.py	513c04f37f Implemented some basis rewrite rules, along with unit tests for node.py.	14 سال پیش
test_variables.py	aa09d9d776 Implemented CONCAT grammar, code cleanup and fixed unit tests.	14 سال پیش