JuliaSymbolics
Different pretty prints in CLI of egraphs
Hey, I just discovered the package and it is so cool!
Are you open to PRs? Maybe this could be a good starting one for me, as I'm just about to learn the package. If you have already ideas/directions, I would be happy to follow/implement a few pretty print methods :)
From the title, I would guess that one could print a summary of the EGraph size and
if the output is not compact, then maybe the classes?
Hey, I just discovered the package and it is so cool!
Are you open to PRs? Maybe this could be a good starting one for me, as I'm just about to learn the package. If you have already ideas/directions, I would be happy to follow/implement a few pretty print methods :)
From the title, I would guess that one could print a summary of the
EGraphsize and if the output is not compact, then maybe the classes?
Still interested?