Alessandro Cheli

> I think `@rule` is also inadequate or annoying here... I've been thinking about this a bit and i think we need better predicates for AC operations. Could e-matching with...

I've been thinking a lot about supporting AC operations in e-graphs.

Addressed by #486

@bowenszhu Note that Metatheory.jl is no longer used in SymbolicUtils.jl :(

I'm confused by the behavior of `local`? ```julia julia> begin x = 2 begin local x = 3 end x end 3 julia> x = 2 begin local x =...

Memplot is not tracking GPU memory!

cool idea!

Adding it to the list for 3.0

This is 14.5 times faster than egg in rust! Julia Code ```julia using Metatheory, BenchmarkTools t = @theory a b begin a + b --> b + a a *...

@gkronber I have just updated this branch to include the latest release of https://github.com/JuliaSymbolics/TermInterface.jl - the interface for custom types has changed, please let me know if you encounter any...