- Notifications
You must be signed in to change notification settings - Fork16
Python bindings for the egglog rust library
License
NotificationsYou must be signed in to change notification settings
egraphs-good/egglog-python
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
egglog is a Python package that provides bindings to the Rust libraryegglog,allowing you to use e-graphs in Python for optimization, symbolic computation, and analysis.
Please see thedocumentation for more information.
Come say helloon the e-graphs Zulip oropen an issue!
If you useegglog-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}}
About
Python bindings for the egglog rust library
Topics
Resources
License
Uh oh!
There was an error while loading.Please reload this page.
Stars
Watchers
Forks
Uh oh!
There was an error while loading.Please reload this page.
Contributors14
Uh oh!
There was an error while loading.Please reload this page.