E-Graph Visualization

An interactive visualization of e-graphs and equality saturation, based on the paper "egg: Fast and Extensible Equality Saturation". This project demonstrates how the equality saturation algorithm works step-by-step using an interactive web interface.

Specification

See SPECIFICATION.md for info.