SymbolicUtils.jl
SymbolicUtils.jl copied to clipboard
equality saturation
simple, performance conscious port of the egg algorithm. Simplify works with it.
simple, performance conscious port of the egg algorithm. Simplify works with it.