Дегса: поиск методов упрощения деревьев выражений

[VTsarevNSU]

необходимо найти решение задачи с упрощением равенств и неравнеств, представленных в виде деревьев (Expression)

[VTsarevNSU]

получилось скачать и запустить библиотеку https://github.com/ArashPartow/exprtk

[ArashPartow]

@VTsarevNSU : Хочу сообщить, что ExprTk не выполняет целостную обрезку деревьев, а выполняет лишь базовые алгебраические преобразования выражений.

[VTsarevNSU]

@VTsarevNSU : Хочу сообщить, что ExprTk не выполняет целостную обрезку деревьев, а выполняет лишь базовые алгебраические преобразования выражений.

спасибо большое за комментарий! да, вероятно, придётся вручную реализовывать многие методы упрощения, но из примеров, что я видел, можно избежать реализации некоторых, прямо скажем, неинтересных алгоритмов