egglog Python wrapper
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!
Install
With pip:
python -m pip install egglog
With uv in a project:
uv add egglog
For array examples, install the optional array dependencies:
python -m pip install "egglog[array]"
uv add "egglog[array]"
How to cite
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}
}
1 maintainer
Metadata
1 maintainer
Release files for egglog 14.0.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| egglog-14.0.0.tar.gz | 6.4 MB | Details |
Built distributions (wheels)
Total release size: 745.2 MB
Release files / egglog-14.0.0.tar.gz
| Download URL | egglog-14.0.0.tar.gz |
|---|---|
| Size | 6.4 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
303d5b28f49af0d4d65548792d540da8a1a94856758ed28e478e58d964406e56
|
|
BLAKE2b-256 checksum How to use checksums |
390fd613561a4ee57a531cd9108d71c6f3d37c31a2d318910ff0f787b3ea3d98
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp314-cp314t-win_amd64.whl
| Download URL | egglog-14.0.0-cp314-cp314t-win_amd64.whl |
|---|---|
| Size | 5.7 MB |
| Tags | CPython 3.14 CPython 3.14 free-threading Windows x86-64 |
|
SHA-256 checksum How to use checksums |
e913cb5713bd28da62316cff14dcab5ab5f04498a297d12c3e819020981c04fc
|
|
BLAKE2b-256 checksum How to use checksums |
39ac5dd959bc38d13a5b4af737b013bd5a01b8984c45c62647dcc5866e263561
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp314-cp314t-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | egglog-14.0.0-cp314-cp314t-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 57.7 MB |
| Tags | CPython 3.14 CPython 3.14 free-threading Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
53c302807f738285fb82cc7428d74e91f2b9354c25843a9f14d6cc3b3938b5cd
|
|
BLAKE2b-256 checksum How to use checksums |
cfb7698e2cc6d44a8717f671ed3a105f8df5b87a3145a5c2cd01588b0f41e62e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp314-cp314t-manylinux_2_17_ppc64.manylinux2014_ppc64.whl
| Download URL | egglog-14.0.0-cp314-cp314t-manylinux_2_17_ppc64.manylinux2014_ppc64.whl |
|---|---|
| Size | 55.8 MB |
| Tags | CPython 3.14 CPython 3.14 free-threading Linux glibc 2.17+ PowerPC 64-be |
|
SHA-256 checksum How to use checksums |
ec5d8ac54f11f469f3c730cbad29274f25164469cb0e4fc82522039924fd9331
|
|
BLAKE2b-256 checksum How to use checksums |
5b7c179cfd305afd222dee8b05ec212f0657131132f87c24bb949cc8a86272bc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp314-cp314t-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
| Download URL | egglog-14.0.0-cp314-cp314t-manylinux_2_17_aarch64.manylinux2014_aarch64.whl |
|---|---|
| Size | 53.8 MB |
| Tags | CPython 3.14 CPython 3.14 free-threading Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
42022b1dcc93b27af64b3a3ae08531e20982511db07236b0ee3c5488c9193544
|
|
BLAKE2b-256 checksum How to use checksums |
c32db12c2e7906920b6fe69270e1fb895629871903aa496ae21f471bbe4ccea0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp314-cp314t-macosx_10_12_x86_64.macosx_11_0_arm64.macosx_10_12_universal2.whl
| Download URL | egglog-14.0.0-cp314-cp314t-macosx_10_12_x86_64.macosx_11_0_arm64.macosx_10_12_universal2.whl |
|---|---|
| Size | 11.7 MB |
| Tags | CPython 3.14 CPython 3.14 free-threading macOS 10.12+ universal2 (ARM64, x86-64) macOS 10.12+ x86-64 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
a0c96d9c92eee52a7eb72eed5e2cde0a1da7e738209af39a7fb8305e51052c16
|
|
BLAKE2b-256 checksum How to use checksums |
4bef16d9a7b07d63009c826ae276fa93b629613917e5e3a5bd5cae116c66ddd8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp314-cp314-win_amd64.whl
| Download URL | egglog-14.0.0-cp314-cp314-win_amd64.whl |
|---|---|
| Size | 5.8 MB |
| Tags | CPython 3.14 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
95037998f7635fbe6f4db7ff61cca61ffd88c45939b5977841a134f0a67157a7
|
|
BLAKE2b-256 checksum How to use checksums |
8a47322b75f1257b996ac45e0d559dccec5934c2d5011466e49e199abca0ae97
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp314-cp314-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | egglog-14.0.0-cp314-cp314-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 57.7 MB |
| Tags | CPython 3.14 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
1d173e24aec9a07b470e6a833fd797d2ae29f2494d0d14cb558d2339b78bf64c
|
|
BLAKE2b-256 checksum How to use checksums |
5ca361fbe8e71bc42e5723ddf7da3389a7ca495b08851ad93f824a85c7bcb502
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp314-cp314-manylinux_2_17_ppc64.manylinux2014_ppc64.whl
| Download URL | egglog-14.0.0-cp314-cp314-manylinux_2_17_ppc64.manylinux2014_ppc64.whl |
|---|---|
| Size | 55.8 MB |
| Tags | CPython 3.14 Linux glibc 2.17+ PowerPC 64-be |
|
SHA-256 checksum How to use checksums |
bedddbdfa9f540ad9882e893be25c73ebb3d0886a6a38b9a48db5ffcd1a0c1e3
|
|
BLAKE2b-256 checksum How to use checksums |
0982e0ae6387a97e51a8c6e1d722dc1cb510e6e0843d372a13ae41186a9db27a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp314-cp314-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
| Download URL | egglog-14.0.0-cp314-cp314-manylinux_2_17_aarch64.manylinux2014_aarch64.whl |
|---|---|
| Size | 53.8 MB |
| Tags | CPython 3.14 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
e48425f545dc8d97aa22eedc57642502a4f0c2235930fb6ccfdfc41b3edced17
|
|
BLAKE2b-256 checksum How to use checksums |
cda97623e65a3cd57a9ba4b1accee9fa072a6db4923d4a2b90cc8d5db7776d57
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp314-cp314-macosx_10_12_x86_64.macosx_11_0_arm64.macosx_10_12_universal2.whl
| Download URL | egglog-14.0.0-cp314-cp314-macosx_10_12_x86_64.macosx_11_0_arm64.macosx_10_12_universal2.whl |
|---|---|
| Size | 11.7 MB |
| Tags | CPython 3.14 macOS 10.12+ universal2 (ARM64, x86-64) macOS 10.12+ x86-64 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
6533a0955932ed3c8d1bfce6a4e5c570248bbff312ed28631f68624e0c1ba6e9
|
|
BLAKE2b-256 checksum How to use checksums |
249553f4256336948061cd73c1bb15321f19de3ba69a2f61f98307b4c13d497f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.12.18 {"installer":{"name":"uv","version":"0.12.18","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"macOS","version":null,"id":null,"libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":null}
|
Release files / egglog-14.0.0-cp313-cp313-win_amd64.whl
| Download URL | egglog-14.0.0-cp313-cp313-win_amd64.whl |
|---|---|
| Size | 5.8 MB |
| Tags | CPython 3.13 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
2629ebb4cd1d3574095e5e6433d9fd2afd90bdf22a14c7eabc953027b5487e31
|
|
BLAKE2b-256 checksum How to use checksums |
ce97da283ae92fa0ec811bdeca6da961685651ba6f4e00021e57c95e021ab76d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | egglog-14.0.0-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 57.7 MB |
| Tags | CPython 3.13 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
e9aa7c0c8baa80527c16d3bd5eb5ff7dcc12c0b4dad63aacc365bc2f93c71aa4
|
|
BLAKE2b-256 checksum How to use checksums |
8887f0e928fdf5e53086f61cf7e75acc03a0ddec49d73085d35cf3019713395b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp313-cp313-manylinux_2_17_ppc64.manylinux2014_ppc64.whl
| Download URL | egglog-14.0.0-cp313-cp313-manylinux_2_17_ppc64.manylinux2014_ppc64.whl |
|---|---|
| Size | 55.8 MB |
| Tags | CPython 3.13 Linux glibc 2.17+ PowerPC 64-be |
|
SHA-256 checksum How to use checksums |
9a7f5131ac2fb8ef353b5dfc154d4891218617e04d09a56b21c6c92953f215b7
|
|
BLAKE2b-256 checksum How to use checksums |
5db611f8356df2f14297fcdb9c688a705612d83cb17ffa5a0c700bd4687ea2f1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
| Download URL | egglog-14.0.0-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_aarch64.whl |
|---|---|
| Size | 53.7 MB |
| Tags | CPython 3.13 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
81398dbe824471c3e8355a2904b863f291107999c47d73e1dc08dde6e74ad3ac
|
|
BLAKE2b-256 checksum How to use checksums |
3097f97d40f15f428529141cfe69e3e623e25c665ca12bb7d6673f6ee1cc0666
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp313-cp313-macosx_10_12_x86_64.macosx_11_0_arm64.macosx_10_12_universal2.whl
| Download URL | egglog-14.0.0-cp313-cp313-macosx_10_12_x86_64.macosx_11_0_arm64.macosx_10_12_universal2.whl |
|---|---|
| Size | 11.7 MB |
| Tags | CPython 3.13 macOS 10.12+ universal2 (ARM64, x86-64) macOS 10.12+ x86-64 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
f0fe0d53d3945e3150a0ee02db3ea7271c297e2bdb3409766250ffc0b10f520b
|
|
BLAKE2b-256 checksum How to use checksums |
8d9beb703799f354b8d5c9d2bf3b3451723318b545687e3f98e4373f3dcdf175
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp312-cp312-win_amd64.whl
| Download URL | egglog-14.0.0-cp312-cp312-win_amd64.whl |
|---|---|
| Size | 5.8 MB |
| Tags | CPython 3.12 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
c6350ef19ab6d5385c984e218af7a46c97f7fd96e2bc46af11cd0da3c0940804
|
|
BLAKE2b-256 checksum How to use checksums |
3dd99d8479d5834a491d0188bd387e81b2103ec150640b345417e5efa9e377e8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | egglog-14.0.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 57.7 MB |
| Tags | CPython 3.12 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
4e8c905dc33cd377523232fd5966f379a3c1d25718ecbfb32dfe865977f6c492
|
|
BLAKE2b-256 checksum How to use checksums |
45583d49fdcfd74146c56879f8b433e4d252be287cd89335e5f9e6f083a8cd3a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp312-cp312-manylinux_2_17_ppc64.manylinux2014_ppc64.whl
| Download URL | egglog-14.0.0-cp312-cp312-manylinux_2_17_ppc64.manylinux2014_ppc64.whl |
|---|---|
| Size | 55.8 MB |
| Tags | CPython 3.12 Linux glibc 2.17+ PowerPC 64-be |
|
SHA-256 checksum How to use checksums |
369d521f5fc6e58a1be478b81b73ef8745c5e81b99befb176c949662e8e6ae54
|
|
BLAKE2b-256 checksum How to use checksums |
2126f347af59532c4db87df8055dd81e7d49609e18bcca6a9ec16732a14e84be
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
| Download URL | egglog-14.0.0-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl |
|---|---|
| Size | 53.8 MB |
| Tags | CPython 3.12 Linux glibc 2.17+ ARM64 |
|
SHA-256 checksum How to use checksums |
8a40cbcbb69f11bda36842947eaf1045ee068abd29ad4e80faf07a3014dba29d
|
|
BLAKE2b-256 checksum How to use checksums |
14794489b39e11fdebc88f7647242c0b1ae2720aaab9eb049ca994ba5ff06dfe
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
Release files / egglog-14.0.0-cp312-cp312-macosx_10_12_x86_64.macosx_11_0_arm64.macosx_10_12_universal2.whl
| Download URL | egglog-14.0.0-cp312-cp312-macosx_10_12_x86_64.macosx_11_0_arm64.macosx_10_12_universal2.whl |
|---|---|
| Size | 11.7 MB |
| Tags | CPython 3.12 macOS 10.12+ universal2 (ARM64, x86-64) macOS 10.12+ x86-64 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
148db799dc218807914cb31511778872f66932e1c0f11618ef2fdcd64e955182
|
|
BLAKE2b-256 checksum How to use checksums |
8a0b99a0c0c31ac94ee9ad015832f0ebc464b20bce3abe2c17ab8ccc01c73aae
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
maturin/1.15.0
|
