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!
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} }