Metadata-Version: 2.1
Name: egg-smol
Version: 0.1.0
Classifier: Programming Language :: Rust
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Programming Language :: Python :: Implementation :: PyPy
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: pytest; extra == 'test'
Requires-Dist: pydata-sphinx-theme; extra == 'docs'
Requires-Dist: myst-nb; extra == 'docs'
Provides-Extra: dev
Provides-Extra: test
Provides-Extra: docs
License-File: LICENSE
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/)

`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.

