Visualizing E-Graphs

You can visualize e-graphs in VSCode by using GraphViz.jl

All you need to do is to install GraphViz.jl and to evaluate an e-graph after including the extra script:

using GraphViz

include(dirname(pathof(Metatheory)) * "/extras/graphviz.jl")

algebra_rules = @theory a b c begin
  a * (b * c) == (a * b) * c
  a + (b + c) == (a + b) + c

  a + b == b + a
  a * (b + c) == (a * b) + (a * c)
  (a + b) * c == (a * c) + (b * c)

  -a == -1 * a
  a - b == a + -b
  1 * a == a

  0 * a --> 0
  a + 0 --> a

  a::Number * b == b * a::Number
  a::Number * b::Number => a * b
  a::Number + b::Number => a + b
end;

ex = :(a - a)
g = EGraph(ex)
params = SaturationParams(; timeout = 2)
saturate!(g, algebra_rules, params)
g

And you will see a nice e-graph drawing in the Julia Plots VSCode panel: