https://github.com/egraphs-good/snake-egg

Python bindings for egg
https://github.com/egraphs-good/snake-egg

Last synced: 2 months ago
JSON representation

Python bindings for egg

• Host: GitHub
• URL: https://github.com/egraphs-good/snake-egg
• Owner: egraphs-good
• License: mit
• Created: 2021-11-03T21:35:26.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2023-01-17T21:11:06.000Z (about 2 years ago)
• Last Synced: 2024-11-07T14:17:35.734Z (3 months ago)
• Language: Python
• Size: 39.1 KB
• Stars: 47
• Watchers: 6
• Forks: 14
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-egraphs - snake-egg

README

        
# Python bindings for [`egg`](https://github.com/egraphs-good/egg)

# Installing

This package is published on PyPi and can be installed with `pip install snake-egg`.

Wheels are built for Python version 3.7-3.10.

# Venv

The build system creates its own python

[`venv`](https://docs.python.org/3/library/venv.html).

Executing the created `./venv/bin/activate` will ready your current shell to

use snake egg.

# Installing

- Type `make install` to build and install `snake_egg` into your python installation.

  - This will reinstall over any existing `snake_egg` installation.

- You can also install using `pip` as following:

`pip install git+https://github.com/egraphs-good/snake-egg`

- If you'd like to manually install it,

  just run `maturin build` and find the wheels in `./target/wheels/`.