taddeus/trs: Mathematical term rewriting system @ 513c04f37f57d19567706c022710c71a16a61ead

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