egglog-experimental

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.

Trying it out

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 [email protected]: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 = "1.0"

Implemented extensions

• for-loops (demo)
• with-ruleset (demo)
• Rationals (demo, see src/rational.rs for supported primitives)
• Dynamic cost model with set-cost (demo)
• Running custom schedulers with run-with (demo)