This repo implements several experimental extensions to the core egglog.
Currently, this can be thought of as a standard library to egglog.
You can use the egglog Zulip to ask questions and suggest improvements to this repo.
The easiest way to try out egglog-experimental is to use the web demo, which builds on top of latest egglog-experimental.
To install egglog-experimental binary locally, you need to install cargo and run
git clone git@github.com:egraphs-good/egglog-experimental.git
cargo install --path=egglog-experimental
To use it in a Rust project, you can add it as a dependency in a Cargo.toml file.
egglog-experimental = "3.0"
Check out the crate documentation (built locally) for the current list of implemented extensions, API details, and demo links. Releases are coordinated with compatible releases of egglog.