Commits
Click on a commit to change the comparison rangeMake visualizations interactive
This PR updates the visualization to by default use the new interactive
JS visualizer instead of the graphviz one (https://github.com/egraphs-good/egraph-visualizer)3 months ago
by saulshanabrook Fix mypy3 months ago
by saulshanabrook