Use package extensions for GraphViz.jl

JuliaSymbolics / Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

https://juliasymbolics.github.io/Metatheory.jl/dev/

MIT License

355 stars 46 forks source link

Use package extensions for GraphViz.jl #196

Closed nmheim closed 5 months ago

0x0f0f0f commented 5 months ago

The display of "smallest" expression is wrong. Is it only taking the root node in the e-graph?

0x0f0f0f commented 5 months ago

@nmheim please git fetch origin && git merge origin/ale/3.0