eggwrap is a wrapper for the Rust equality saturation framework egg. eggwrap is a heavily-modified fork of TENSAT, with equality saturation rules tailored to the needs of the CoolerSpace library. eggwrap is not meant to be used as a standalone program! Please refer to the GitHub page for onneggs for more details.
eggwrap depends on CBC. Please install CBC prior to installing eggwrap! Please note that we currently only support Linux for eggwrap! Additionally, only Python versions 3.10+ are supported.
eggwrap is available on PyPI!
pip install eggwrap
In order to build eggwrap from source, follow these commands.
git clone https://github.com/horizon-research/eggwrap.git
cd eggwrap
python3 -m venv venv
source venv/bin/activate
pip install -r requirements.txt
python3 -m maturin develop