AlgebraicRewriting.jl

Generalized term rewriting software and agent-based modeling