https://github.com/egraphs-good/egglog-python

Python bindings for the egg-smol rust library
https://github.com/egraphs-good/egglog-python

dsl e-graph equality-saturation python rust term-rewriting

Last synced: 6 months ago
JSON representation

Python bindings for the egg-smol rust library

• Host: GitHub
• URL: https://github.com/egraphs-good/egglog-python
• Owner: egraphs-good
• License: mit
• Created: 2022-11-02T18:21:30.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2025-03-24T19:36:42.000Z (7 months ago)
• Last Synced: 2025-03-28T09:02:33.949Z (6 months ago)
• Topics: dsl, e-graph, equality-saturation, python, rust, term-rewriting
• Language: JavaScript
• Homepage: https://egglog-python.readthedocs.io
• Size: 6.66 MB
• Stars: 70
• Watchers: 3
• Forks: 13
• Open Issues: 14
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Citation: CITATION.cff

Awesome Lists containing this project

• awesome-egraphs - egglog-python

README

          
# `egglog` Python wrapper

[![Documentation Status](https://readthedocs.org/projects/egglog-python/badge/?version=latest)](https://egglog-python.readthedocs.io/latest/?badge=latest) [![Test](https://github.com/egraphs-good/egglog-python/actions/workflows/CI.yml/badge.svg?branch=main)](https://github.com/egraphs-good/egglog-python/actions/workflows/CI.yml) [![PyPi Package](https://img.shields.io/pypi/v/egglog.svg)](https://pypi.org/project/egglog/) [![License](https://img.shields.io/pypi/l/egglog.svg)](https://pypi.org/project/egglog/) [![Python Versions](https://img.shields.io/pypi/pyversions/egglog.svg)](https://pypi.org/project/egglog/) [![pre-commit](https://img.shields.io/badge/pre--commit-enabled-brightgreen?logo=pre-commit)](https://github.com/pre-commit/pre-commit) [![CodSpeed Badge](https://img.shields.io/endpoint?url=https://codspeed.io/badge.json)](https://codspeed.io/egraphs-good/egglog-python)

`egglog` is a Python package that provides bindings to the Rust library [`egglog`](https://github.com/egraphs-good/egglog/),

allowing you to use e-graphs in Python for optimization, symbolic computation, and analysis.

Please see the [documentation](https://egglog-python.readthedocs.io/) for more information.

Come say hello [on the e-graphs Zulip](https://egraphs.zulipchat.com/#narrow/stream/375765-egglog/) or [open an issue](https://github.com/egraphs-good/egglog-python/issues/new/choose)!