This packages aims to help with debugging and teaching e-graphs through an interactive visualization.
npm install egraph-visualizerThis packages aims to help with debugging and teaching e-graphs through an interactive visualization.
It supports any e-graph serialized in the JSON format
Currently, this visualizer is packaged as an AnyWidget JS ESM file with all dependencies included.
On every Git tag, a new verison is bundled and published as a Github release.
It is also published as an NPM package, which can be imported and used in the browser like this:
``html`
There is also a demo site published on Github Pages, which allows you to upload and edit a serialized e-graph and see
the visualization.
_If other ways of packaging would be helpful, please open an issue._
First install Yarn, then run:
`sh`
yarn install
yarn run [build|dev|lint]
Releasing is totally automated. Just update the version in package.json and push a new tag to the repository.
You can purge the cache for jsDelivr so that egglog will pull in the new version, by entering these two URLs here.
`
https://cdn.jsdelivr.net/npm/egraph-visualizer@2/dist/style.css
https://cdn.jsdelivr.net/npm/egraph-visualizer@2/+esm
This package is open to external contributors. Feel free to open a pull request or an issue for bugs or desired features.
It is developed as part of the EGRAPHS community and can also be discussed in the EGRAPHS zulip.
@saulshanabrook is the current maintainor of this package, but others can be added after contributing.