egglog Python wrapper

egglog is a Python package that provides bindings to the Rust library egglog, allowing you to use e-graphs in Python for optimization, symbolic computation, and analysis.

Please see the documentation for more information.

Come say hello on the e-graphs Zulip or open an issue!

Install

With pip:

python -m pip install egglog

With uv in a project:

uv add egglog

For array examples, install the optional array dependencies:

python -m pip install "egglog[array]"
uv add "egglog[array]"

How to cite

If you use egglog-python in academic work, please cite the paper:

@misc{Shanabrook2023EgglogPython,
  title         = {Egglog Python: A Pythonic Library for E-graphs},
  author        = {Saul Shanabrook},
  year          = {2023},
  eprint        = {2305.04311},
  archivePrefix = {arXiv},
  primaryClass  = {cs.PL},
  doi           = {10.48550/arXiv.2305.04311},
  url           = {https://arxiv.org/abs/2305.04311},
  note          = {Presented at EGRAPHS@PLDI 2023}
}