No project description provided
Project description
eggwrap
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.
Installation
Dependencies
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.
PyPI
eggwrap is available on PyPI!
pip install eggwrap
Building from source on Linux
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
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distributions
Built Distributions
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file eggwrap-1.0.0-cp312-cp312-manylinux_2_34_x86_64.whl.
File metadata
- Download URL: eggwrap-1.0.0-cp312-cp312-manylinux_2_34_x86_64.whl
- Upload date:
- Size: 8.6 MB
- Tags: CPython 3.12, manylinux: glibc 2.34+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.0 CPython/3.12.5
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
1e74f876ff35b2d581a9798ed9f84727daff11d4add3e2199c9f5aabb801b621
|
|
| MD5 |
e0148cd35653cfde1c0be1e1529d4dac
|
|
| BLAKE2b-256 |
d80cbd74879f13d1ebcc7ee00ef816e6d58965a2c04edcb221fe323143d8992a
|
File details
Details for the file eggwrap-1.0.0-cp311-cp311-manylinux_2_34_x86_64.whl.
File metadata
- Download URL: eggwrap-1.0.0-cp311-cp311-manylinux_2_34_x86_64.whl
- Upload date:
- Size: 8.6 MB
- Tags: CPython 3.11, manylinux: glibc 2.34+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.0 CPython/3.12.5
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
cde162ffe1ff9b1c0f69d1e64a801658b114c275049f40d39f7a6c029c17578e
|
|
| MD5 |
8f46bcd73d0b1bb85a2d5a1066fb68a7
|
|
| BLAKE2b-256 |
b5a1e60580b70c2c1177bcc2aad90c5dfb32d4a6f199c69bfdceaf6394c2a441
|
File details
Details for the file eggwrap-1.0.0-cp310-cp310-manylinux_2_34_x86_64.whl.
File metadata
- Download URL: eggwrap-1.0.0-cp310-cp310-manylinux_2_34_x86_64.whl
- Upload date:
- Size: 8.6 MB
- Tags: CPython 3.10, manylinux: glibc 2.34+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.0 CPython/3.12.5
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
2f6aca1ffff15a3d0187a9e94c488f232d9b7931e2311feb73f95b687ccb7780
|
|
| MD5 |
23378b96d61ce543132343ede7a845fd
|
|
| BLAKE2b-256 |
a49057a4f12a01e4701de82832c3f1c72a033315ca7237f308f3da7274c94f21
|
