https://github.com/ztatlock/2024-marktoberdorf-egglog

Mini egglog in Python
https://github.com/ztatlock/2024-marktoberdorf-egglog

Last synced: 3 months ago
JSON representation

Mini egglog in Python

• Host: GitHub
• URL: https://github.com/ztatlock/2024-marktoberdorf-egglog
• Owner: ztatlock
• Created: 2024-08-07T06:56:03.000Z (6 months ago)
• Default Branch: main
• Last Pushed: 2024-08-10T13:50:46.000Z (5 months ago)
• Last Synced: 2024-10-11T21:49:18.432Z (3 months ago)
• Language: Python
• Size: 23.4 KB
• Stars: 8
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-egraphs - marktoberdorf-egglog

README

        
# 2024-marktoberdorf-egglog

Mini egglog in Python

## Requirements

[Python 3.10](https://www.python.org/downloads/release/python-3100/) or later.

## Setup

To avoid affecting your regular Python environment, first set up a

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

```

$ python3 -m venv .venv

```

Now activate your new virtual environment.

```

$ source ./venv/bin/activate

```

Next install dependencies.

```

$ pip3 install -r requirements.txt

```

Finally run tests to make sure everything is working.

```

$ make test

```