taddeus/trs: Mathematical term rewriting system @ f5d48c99315da7983aedefa3daf6e5fe01e8371e

Taddeus Kroes 139ec7384c Upgraded graph_drawing to latest version (with negation counter).		преди 14 години
..
graph_drawing @ 84ad376b81	139ec7384c Upgraded graph_drawing to latest version (with negation counter).	преди 14 години
pybison @ 4fac41ac1c	6c45055905 Updated to latest pybison and graph_drawing versions.	преди 14 години
__init__.py	bc910e29ef Started with constructing an expression tree in the parser.	преди 14 години
rules.mk	2ac45d2503 Updated pybison and adjusted build system accordingly.	преди 14 години