A simple wrapper around the Rust egg library for E-Graphs and Equality Saturation with an implementation of the Halide term solver.

Many thanks to the work done by the caviar team and extraction-gym members.

To build the Rust library and the Rust commandline binary, just run

cargo build

To build the Python package use maturin in a local virtual environment.

python3 -m venv .venv
source .venv/bin/activate
pip install maturin
maturin build

You can immediately install the built package into the local venv with

maturin develop