egglog 12.0.0__cp313-cp313t-manylinux_2_17_ppc64.manylinux2014_ppc64.whl

egglog/visualizer_widget.py

@@ -0,0 +1,39 @@
+import pathlib
+import webbrowser
+
+import anywidget
+import traitlets
+from IPython.display import display
+from ipywidgets.embed import embed_minimal_html
+
+from .ipython_magic import IN_IPYTHON
+
+CURRENT_DIR = pathlib.Path(__file__).parent
+
+
+class VisualizerWidget(anywidget.AnyWidget):
+    """
+    Widget to render multiple graphs using the interactive visualizer.
+
+    The index will choose the one that is currently displayed, defaulting to the last one.
+    """
+
+    _esm = CURRENT_DIR / "visualizer.js"
+    _css = CURRENT_DIR / "visualizer.css"
+    egraphs = traitlets.List[str]().tag(sync=True)
+
+    def display_or_open(self) -> None:
+        """
+        Displays the widget if we are in a Jupyter environment, otherwise saves it to a file and opens it.
+        """
+        if IN_IPYTHON:
+            display(self)
+            return
+        # 1. Create a temporary html file that will stay open after close
+        # 2. Write the widget to it with embed_minimal_html
+        # 3. Open the file using the open function from graphviz
+        file = pathlib.Path.cwd() / "tmp.html"
+        # https://github.com/manzt/anywidget/issues/339#issuecomment-1755654547
+        embed_minimal_html(file, views=[self], drop_defaults=False)
+        print("Visualizer widget saved to", file)
+        webbrowser.open(file.as_uri())

egglog-12.0.0.dist-info/METADATA

@@ -0,0 +1,93 @@
+Metadata-Version: 2.4
+Name: egglog
+Version: 12.0.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.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+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: graphviz
+Requires-Dist: anywidget
+Requires-Dist: scikit-learn ; extra == 'array'
+Requires-Dist: array-api-compat ; extra == 'array'
+Requires-Dist: numba>=0.59.1 ; extra == 'array'
+Requires-Dist: llvmlite>=0.42.0 ; extra == 'array'
+Requires-Dist: numpy>2 ; extra == 'array'
+Requires-Dist: cloudpickle>=3 ; extra == 'array'
+Requires-Dist: ruff ; extra == 'dev'
+Requires-Dist: pre-commit ; extra == 'dev'
+Requires-Dist: mypy ; extra == 'dev'
+Requires-Dist: anywidget[dev] ; extra == 'dev'
+Requires-Dist: egglog[docs,test] ; extra == 'dev'
+Requires-Dist: jupyterlab ; extra == 'dev'
+Requires-Dist: ipykernel ; extra == 'dev'
+Requires-Dist: pytest ; extra == 'test'
+Requires-Dist: mypy ; extra == 'test'
+Requires-Dist: syrupy>=5 ; extra == 'test'
+Requires-Dist: egglog[array] ; extra == 'test'
+Requires-Dist: pytest-codspeed ; extra == 'test'
+Requires-Dist: pytest-benchmark ; extra == 'test'
+Requires-Dist: pytest-xdist ; extra == 'test'
+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: nbconvert ; extra == 'docs'
+Requires-Dist: matplotlib ; extra == 'docs'
+Requires-Dist: anywidget ; extra == 'docs'
+Requires-Dist: seaborn ; extra == 'docs'
+Requires-Dist: egglog[array] ; extra == 'docs'
+Requires-Dist: line-profiler ; extra == 'docs'
+Requires-Dist: sphinxcontrib-mermaid ; extra == 'docs'
+Requires-Dist: ablog ; extra == 'docs'
+Requires-Dist: jupytext ; extra == 'docs'
+Provides-Extra: array
+Provides-Extra: dev
+Provides-Extra: test
+Provides-Extra: docs
+License-File: LICENSE
+Summary: e-graphs in Python built around the the egglog rust library
+License: MIT
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown; charset=UTF-8; variant=GFM
+
+# `egglog` Python wrapper
+
+[![Documentation Status](https://readthedocs.org/projects/egglog-python/badge/?version=latest)](https://egglog-python.readthedocs.io/latest/?badge=latest) [![Test](https://github.com/egraphs-good/egglog-python/actions/workflows/CI.yml/badge.svg?branch=main)](https://github.com/egraphs-good/egglog-python/actions/workflows/CI.yml) [![PyPi Package](https://img.shields.io/pypi/v/egglog.svg)](https://pypi.org/project/egglog/) [![License](https://img.shields.io/pypi/l/egglog.svg)](https://pypi.org/project/egglog/) [![Python Versions](https://img.shields.io/pypi/pyversions/egglog.svg)](https://pypi.org/project/egglog/) [![pre-commit](https://img.shields.io/badge/pre--commit-enabled-brightgreen?logo=pre-commit)](https://github.com/pre-commit/pre-commit) [![CodSpeed Badge](https://img.shields.io/endpoint?url=https://codspeed.io/badge.json)](https://codspeed.io/egraphs-good/egglog-python)
+
+`egglog` is a Python package that provides bindings to the Rust library [`egglog`](https://github.com/egraphs-good/egglog/),
+allowing you to use e-graphs in Python for optimization, symbolic computation, and analysis.
+
+Please see the [documentation](https://egglog-python.readthedocs.io/) for more information.
+
+Come say hello [on the e-graphs Zulip](https://egraphs.zulipchat.com/#narrow/stream/375765-egglog/) or [open an issue](https://github.com/egraphs-good/egglog-python/issues/new/choose)!
+
+## How to cite
+
+If you use **egglog-python** in academic work, please cite the paper:
+
+```bibtex
+@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}
+}
+

egglog-12.0.0.dist-info/RECORD

@@ -0,0 +1,48 @@
+egglog-12.0.0.dist-info/METADATA,sha256=pxa22F7ON-sEIkEM0Hp5AgzfXTxgMtw3avn22hzF2lI,4597
+egglog-12.0.0.dist-info/WHEEL,sha256=ZHNK11AMTtz3o6cTHKE_IEZeGfB3VW-pvmjNo37n4fY,147
+egglog-12.0.0.dist-info/licenses/LICENSE,sha256=w7VlVv5O_FPZRo8Z-4Zb_q7D5ac3YDs8JUkMZ4Gq9CE,1070
+egglog/__init__.py,sha256=P96wxxhNb8FN6bLbMhBnBPhuqOrPm5YrMigmrUPs3ts,375
+egglog/bindings.cpython-313t-powerpc64-linux-gnu.so,sha256=51pUtq-FBKxvMKgmbe853kDDSCT72a09-HxQ-mwOW80,191895952
+egglog/bindings.pyi,sha256=LexnbA0BdWp1gmSUEEcmpQ3zv8GmXL1Y_86EQs8groI,20181
+egglog/builtins.py,sha256=xDDioO5wj_n5pvkvTgSdUA2vTV7vx4aaydCdB6yvQSM,30720
+egglog/config.py,sha256=yM3FIcVCKnhWZmHD0pxkzx7ah7t5PxZx3WUqKtA9tjU,168
+egglog/conversion.py,sha256=J00zfCl1v3b-7QQrJnEjIqdJlolNn05RNpbCXY2dZ34,11309
+egglog/declarations.py,sha256=22udeLmFPtPNuoE06ZpvgS-Wt4snQzqr3UY38Q36uHc,26658
+egglog/deconstruct.py,sha256=AlK3GHGE3pT3Y08n34OfKc1GZ_J4D-59GUrpW5uV8-U,5464
+egglog/egraph.py,sha256=a9BdiJ8oDoyEx1jMxcRfPKeKvgnsEG6a_2V0gLpuVb8,78813
+egglog/egraph_state.py,sha256=v00hwAbseF9w6m5QieJT_yxPXbjbuXvW7uMMLVxv6TE,44693
+egglog/examples/README.rst,sha256=ztTvpofR0eotSqGoCy_C1fPLDPCncjvcqDanXtLHNNU,232
+egglog/examples/__init__.py,sha256=wm9evUbMPfbtylXIjbDdRTAVMLH4OjT4Z77PCBFyaPU,31
+egglog/examples/bignum.py,sha256=jfL57XXpQqIqizQQ3sSUCCjTrkdjtB71BmjrQIQorQk,535
+egglog/examples/bool.py,sha256=e0z2YoYJsLlhpSADZK1yRYHzilyxSZWGiYAaM0DQ_Gw,695
+egglog/examples/eqsat_basic.py,sha256=2xtM81gG9Br72mr58N-2BUeksR7C_UXnZJ4MvzSPplc,869
+egglog/examples/fib.py,sha256=BOHxKWA7jGx4FURBmfmuZKfLo6xq9-uXAwAXjYid7LU,492
+egglog/examples/higher_order_functions.py,sha256=DNLIQfPJCX_DOLbHNiaYsfvcFIYCYOsRUqp99r9bpc8,1063
+egglog/examples/jointree.py,sha256=TLlH7TsQzWfadqDo7qeTprFhLdQmj59AQaGse81RIKk,1714
+egglog/examples/lambda_.py,sha256=iQvwaXVhp2VNOMS7j1WwceZaiq3dqqilwUkMcW5GFBE,8194
+egglog/examples/matrix.py,sha256=7_mPcMcgE-t_GJDyf76-nv3xhPIeN2mvFkc_p_Gnr8g,4961
+egglog/examples/multiset.py,sha256=IBOsB80DkXQ07dYnk1odi27q77LH80Z8zysuLE-Q8F8,1445
+egglog/examples/ndarrays.py,sha256=mfr410eletH8gfdg-P8L90vlF6TUifvYV_-ryOwvZZE,4042
+egglog/examples/resolution.py,sha256=BJd5JClA3DBVGfiVRa-H0gbbFvIqeP3uYbhCXHblSQc,2119
+egglog/examples/schedule_demo.py,sha256=JbXdPII7_adxtgyKVAiqCyV2sj88VZ-DhomYrdn8vuc,618
+egglog/exp/MoA.ipynb,sha256=sZJa8yzCbTM_2fr8oJHuhyiOMmvxAVPCJsN431cPcwY,34093
+egglog/exp/__init__.py,sha256=nPtzrH1bz1LVZhZCuS0S9Qild8m5gEikjOVqWAFIa88,49
+egglog/exp/any_expr.py,sha256=Wwmfm2L4mvnnbU5ju1XwsqrLgKQOCekpGSSDvfz84qw,31698
+egglog/exp/any_expr_example.ipynb,sha256=D1OO8X0ykF4maMCBsj9kvnaru-eRVdayaUKeLDgK95A,17506
+egglog/exp/array_api.py,sha256=IPUwi2TgJRiiPpVNQ8xNuS0xOvKMbcjrtRJ6NzDukg4,65465
+egglog/exp/array_api_jit.py,sha256=S5XGWT8a_bFNHUXbQZi6U2cmy__xjvDMNl1eUgvRDyw,1739
+egglog/exp/array_api_loopnest.py,sha256=-kbyorlGxvlaNsLx1nmLfEZHQM7VMEBwSKtV0l-bs0g,2444
+egglog/exp/array_api_numba.py,sha256=X3H1TnCjPL92uVm6OvcWMJ11IeorAE58zWiOX6huPv4,2696
+egglog/exp/array_api_program_gen.py,sha256=qnve8iqklRQVyGChllG8ZAjAffRpezmdxc3IdaWytoQ,21779
+egglog/exp/program_gen.py,sha256=6WWJd_67G4Z2xjwR_PL4NkqYtej6EY4lHw7V19I46Qw,13093
+egglog/exp/siu_examples.py,sha256=yZ-sgH2Y12iTdwBUumP7D2OtCGL83M6pPW7PMobVFXc,719
+egglog/ipython_magic.py,sha256=2hs3g2cSiyDmbCvE2t1OINmu17Bb8MWV--2DpEWwO7I,1189
+egglog/pretty.py,sha256=DNj2K8QNqxv71mE4H5XLHsv8GQ4N7vsBB5eFtIdlvT4,23350
+egglog/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+egglog/runtime.py,sha256=qsdk1wlD1TFOqohmzK0TgEPE6DvVwK2mTHAlJYJRr7M,35724
+egglog/thunk.py,sha256=xogL6hC7kA0YwtxbiC0A0GLjwBpH739HYLp_rqGmL9w,2229
+egglog/type_constraint_solver.py,sha256=fzmGo_xgIFpf_akXLJ38j8lYL1ew5aO2v6qK7lC67gw,4510
+egglog/visualizer.css,sha256=FoSQkzeaPP1Ubs_EwJArSRbzBZeObqo-J8SQEPM1iT8,259448
+egglog/visualizer.js,sha256=vMBmuOZ0zPijbOxev2a7P99i2gC1D2FT3_4fL00oRzU,3754037
+egglog/visualizer_widget.py,sha256=LtVfzOtv2WeKtNuILQQ_9SOHWvRr8YdBYQDKQSgry_s,1319
+egglog-12.0.0.dist-info/RECORD,,

egglog-12.0.0.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: maturin (1.10.1)
+Root-Is-Purelib: false
+Tag: cp313-cp313t-manylinux_2_17_ppc64
+Tag: cp313-cp313t-manylinux2014_ppc64

egglog-12.0.0.dist-info/licenses/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2022 E-Graphs Good
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.