Metadata-Version: 2.1
Name: egg-smol
Version: 0.3.0
Classifier: Environment :: MacOS X
Classifier: Environment :: Win32 (MS Windows)
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Natural Language :: English
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Rust
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Programming Language :: Python :: Implementation :: PyPy
Classifier: Topic :: Software Development :: Compilers
Classifier: Topic :: Software Development :: Interpreters
Classifier: Typing :: Typed
Requires-Dist: typing-extensions
Requires-Dist: black
Requires-Dist: pytest; extra == 'test'
Requires-Dist: mypy; extra == 'test'
Requires-Dist: pre-commit; extra == 'dev'
Requires-Dist: black; extra == 'dev'
Requires-Dist: mypy; extra == 'dev'
Requires-Dist: flake8; extra == 'dev'
Requires-Dist: isort; extra == 'dev'
Requires-Dist: pydata-sphinx-theme; extra == 'docs'
Requires-Dist: myst-nb; extra == 'docs'
Requires-Dist: sphinx-autodoc-typehints; extra == 'docs'
Requires-Dist: sphinx-gallery; extra == 'docs'
Requires-Dist: matplotlib; extra == 'docs'
Provides-Extra: test
Provides-Extra: dev
Provides-Extra: docs
License-File: LICENSE
Summary: e-graphs in Python built around the the egg-smol rust library
License: MIT
Requires-Python: >=3.7
Description-Content-Type: text/markdown; charset=UTF-8; variant=GFM

# `egg-smol` Python wrapper

[![Documentation Status](https://readthedocs.org/projects/egg-smol-python/badge/?version=latest)](https://egg-smol-python.readthedocs.io/en/latest/?badge=latest) [![Test](https://github.com/metadsl/egg-smol-python/actions/workflows/CI.yml/badge.svg?branch=main)](https://github.com/metadsl/egg-smol-python/actions/workflows/CI.yml) [![PyPi Package](https://img.shields.io/pypi/v/egg-smol.svg)](https://pypi.org/project/egg-smol/) [![License](https://img.shields.io/pypi/l/egg-smol.svg)](https://pypi.org/project/egg-smol/) [![Python Versions](https://img.shields.io/pypi/pyversions/egg-smol.svg)](https://pypi.org/project/egg-smol/) [![pre-commit](https://img.shields.io/badge/pre--commit-enabled-brightgreen?logo=pre-commit)](https://github.com/pre-commit/pre-commit)

`egg-smol` is a Python package that provides bindings to the Rust library [`egg-smol`](https://github.com/mwillsey/egg-smol/),
allowing you to use e-graphs in Python for optimization, symbolic computation, and analysis.

Please see the [documentation](https://egg-smol-python.readthedocs.io/en/latest/) for more information.

