2.0.5

github-actions released this 23 Oct 14:51

· 9 commits to main since this release

c3d1bb5

Preserve filtered egraph on change

closes https://github.com/egraphs-good/egraph-visualizer/issues/2

Assets 3