egglog 7.0.0__cp310-none-win_amd64.whl → 7.1.0__cp310-none-win_amd64.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Potentially problematic release.

This version of egglog might be problematic. Click here for more details.

Files changed (15) hide show
  1. egglog/bindings.cp310-win_amd64.pyd +0 -0
  2. egglog/bindings.pyi +7 -0
  3. egglog/builtins.py +41 -1
  4. egglog/conversion.py +22 -17
  5. egglog/declarations.py +57 -31
  6. egglog/egraph.py +93 -18
  7. egglog/egraph_state.py +76 -37
  8. egglog/exp/array_api.py +8 -8
  9. egglog/pretty.py +56 -10
  10. egglog/runtime.py +112 -30
  11. egglog/thunk.py +1 -2
  12. {egglog-7.0.0.dist-info → egglog-7.1.0.dist-info}/METADATA +20 -20
  13. {egglog-7.0.0.dist-info → egglog-7.1.0.dist-info}/RECORD +15 -15
  14. {egglog-7.0.0.dist-info → egglog-7.1.0.dist-info}/WHEEL +0 -0
  15. {egglog-7.0.0.dist-info → egglog-7.1.0.dist-info}/license_files/LICENSE +0 -0
{egglog-7.0.0.dist-info → egglog-7.1.0.dist-info}/METADATA RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.1
2
2
  Name: egglog
3
- Version: 7.0.0
3
+ Version: 7.1.0
4
4
  Classifier: Environment :: MacOS X
5
5
  Classifier: Environment :: Win32 (MS Windows)
6
6
  Classifier: Intended Audience :: Developers
@@ -19,18 +19,10 @@ Classifier: Typing :: Typed
19
19
  Requires-Dist: typing-extensions
20
20
  Requires-Dist: black
21
21
  Requires-Dist: graphviz
22
- Requires-Dist: pydata-sphinx-theme; extra == 'docs'
23
- Requires-Dist: myst-nb; extra == 'docs'
24
- Requires-Dist: sphinx-autodoc-typehints; extra == 'docs'
25
- Requires-Dist: sphinx-gallery; extra == 'docs'
26
- Requires-Dist: nbconvert; extra == 'docs'
27
- Requires-Dist: matplotlib; extra == 'docs'
28
- Requires-Dist: anywidget; extra == 'docs'
29
- Requires-Dist: seaborn; extra == 'docs'
30
- Requires-Dist: egglog[array]; extra == 'docs'
31
- Requires-Dist: line-profiler; extra == 'docs'
32
- Requires-Dist: sphinxcontrib-mermaid; extra == 'docs'
33
- Requires-Dist: ablog; extra == 'docs'
22
+ Requires-Dist: scikit-learn; extra == 'array'
23
+ Requires-Dist: array_api_compat; extra == 'array'
24
+ Requires-Dist: numba==0.59.1; extra == 'array'
25
+ Requires-Dist: llvmlite==0.42.0; extra == 'array'
34
26
  Requires-Dist: pre-commit; extra == 'dev'
35
27
  Requires-Dist: ruff; extra == 'dev'
36
28
  Requires-Dist: mypy; extra == 'dev'
@@ -43,14 +35,22 @@ Requires-Dist: egglog[array]; extra == 'test'
43
35
  Requires-Dist: pytest-codspeed; extra == 'test'
44
36
  Requires-Dist: pytest-benchmark; extra == 'test'
45
37
  Requires-Dist: pytest-xdist; extra == 'test'
46
- Requires-Dist: scikit-learn; extra == 'array'
47
- Requires-Dist: array_api_compat; extra == 'array'
48
- Requires-Dist: numba==0.59.0rc1; extra == 'array'
49
- Requires-Dist: llvmlite==0.42.0rc1; extra == 'array'
50
- Provides-Extra: docs
38
+ Requires-Dist: pydata-sphinx-theme; extra == 'docs'
39
+ Requires-Dist: myst-nb; extra == 'docs'
40
+ Requires-Dist: sphinx-autodoc-typehints; extra == 'docs'
41
+ Requires-Dist: sphinx-gallery; extra == 'docs'
42
+ Requires-Dist: nbconvert; extra == 'docs'
43
+ Requires-Dist: matplotlib; extra == 'docs'
44
+ Requires-Dist: anywidget; extra == 'docs'
45
+ Requires-Dist: seaborn; extra == 'docs'
46
+ Requires-Dist: egglog[array]; extra == 'docs'
47
+ Requires-Dist: line-profiler; extra == 'docs'
48
+ Requires-Dist: sphinxcontrib-mermaid; extra == 'docs'
49
+ Requires-Dist: ablog; extra == 'docs'
50
+ Provides-Extra: array
51
51
  Provides-Extra: dev
52
52
  Provides-Extra: test
53
- Provides-Extra: array
53
+ Provides-Extra: docs
54
54
  License-File: LICENSE
55
55
  Summary: e-graphs in Python built around the the egglog rust library
56
56
  License: MIT
@@ -59,7 +59,7 @@ Description-Content-Type: text/markdown; charset=UTF-8; variant=GFM
59
59
 
60
60
  # `egglog` Python wrapper
61
61
 
62
- [![Documentation Status](https://readthedocs.org/projects/egglog-python/badge/?version=latest)](https://egglog-python.readthedocs.io/en/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)
62
+ [![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)
63
63
 
64
64
  `egglog` is a Python package that provides bindings to the Rust library [`egglog`](https://github.com/egraphs-good/egglog/),
65
65
  allowing you to use e-graphs in Python for optimization, symbolic computation, and analysis.
{egglog-7.0.0.dist-info → egglog-7.1.0.dist-info}/RECORD RENAMED
@@ -1,13 +1,13 @@
1
- egglog-7.0.0.dist-info/METADATA,sha256=Z_hOJtco7EDSXWxJH_L2Sod2Za3dYICl6SaSN-UKVD0,3838
2
- egglog-7.0.0.dist-info/WHEEL,sha256=keLBtIOE7ZgLyd8Cijw37iqv72a2jhfxMdDu8Unr7zo,96
3
- egglog-7.0.0.dist-info/license_files/LICENSE,sha256=TfaboMVZ81Q6OUaKjU7z6uVjSlcGKclLYcOpgDbm9_s,1091
4
- egglog/bindings.pyi,sha256=q9gyhu_kTcAPXtyu2IzHhytzjhua4sDEjM1h3XrEw60,11588
5
- egglog/builtins.py,sha256=lI-WAQGsXYYNvPXBnR6SpRpoTLFQ8u6GaVkrJ8nb-GY,11962
1
+ egglog-7.1.0.dist-info/METADATA,sha256=t8YGDTCeCIpcJMDrAiicXrJAARElS-vM1R6-GY4wNzE,3829
2
+ egglog-7.1.0.dist-info/WHEEL,sha256=keLBtIOE7ZgLyd8Cijw37iqv72a2jhfxMdDu8Unr7zo,96
3
+ egglog-7.1.0.dist-info/license_files/LICENSE,sha256=TfaboMVZ81Q6OUaKjU7z6uVjSlcGKclLYcOpgDbm9_s,1091
4
+ egglog/bindings.pyi,sha256=iFdtYHqPjuVt46qh1IE81cOI-lbGgPISKQB-3ERNzhI,11770
5
+ egglog/builtins.py,sha256=p5oZLDleCgQC8G2Zp2EvmqsfVnpgmARqUHqosKSSKnQ,13120
6
6
  egglog/config.py,sha256=mALVaxh7zmGrbuyzaVKVmYKcu1lF703QsKJw8AF7gSM,176
7
- egglog/conversion.py,sha256=9unbL5LYkYQ-Jc9gsWCd1VwdrI_w3mwudAcm-5PDPcc,6143
8
- egglog/declarations.py,sha256=zTm0TQd7YB3DfxCldONDMg-AH0leCoU4EyQ-pzfUs7A,15454
9
- egglog/egraph.py,sha256=HwK4vfI5eSndaK4tVinV5bWJ_K4O5Pzq8zA2un2nAcs,63151
10
- egglog/egraph_state.py,sha256=2UuZ2XOmTXm-D_Ytfw5LjicsjpM52vLevbOF3ucJtyc,17691
7
+ egglog/conversion.py,sha256=4JhocGd1_nwmFMVNCzDDwj6aWfhBFTX2hm_7Xc_DiUM,6328
8
+ egglog/declarations.py,sha256=LFClid1ojrQFF7ezJSanwZA89j01fjJ-NkvH0VUH0Wk,16199
9
+ egglog/egraph.py,sha256=WRu_omk-5i53wokpkSTw9wA2EqW_WI2-ZX8340_w3q8,66198
10
+ egglog/egraph_state.py,sha256=ic6MEL41-DjozBCe-GSKqHM2vkabuC865odeg_zT964,20074
11
11
  egglog/examples/bool.py,sha256=pWZTjfXR1cFy3KcihLBU5AF5rn83ImORlhUUJ1YiAXc,733
12
12
  egglog/examples/eqsat_basic.py,sha256=ORXFYYEDsEZK2IPhHtoFsd-LdjMiQi1nn7kix4Nam0s,1011
13
13
  egglog/examples/fib.py,sha256=wAn-PjazxgHDkXAU4o2xTk_GtM_iGL0biV66vWM1st4,520
@@ -18,7 +18,7 @@ egglog/examples/README.rst,sha256=QrbfmivODBvUvmY3-dHarcbC6bEvwoqAfTDhiI-aJxU,23
18
18
  egglog/examples/resolution.py,sha256=sKkbRI_v9XkQM0DriacKLINqKKDqYGFhvMCAS9tZbTA,2203
19
19
  egglog/examples/schedule_demo.py,sha256=iJtIbcLaZ7zK8UalY0z7KAKMqYjQx0MKTsNF24lKtik,652
20
20
  egglog/examples/__init__.py,sha256=KuhaJFOyz_rpUvEqZubsgLnv6rhQNE_AVFXA6bUnpdY,34
21
- egglog/exp/array_api.py,sha256=ClS1kbPq1xY4LwmllCo3wHstmZ7dbSKQP8xZcaah6fQ,41310
21
+ egglog/exp/array_api.py,sha256=diQNK-Uxxt6Qr58zJuQDM_BF6eKgwa-D5eYB5VJoT70,41412
22
22
  egglog/exp/array_api_jit.py,sha256=HIZzd0G17u-u_F4vfRdhoYvRo-ETx5HFO3RBcOfLcco,1287
23
23
  egglog/exp/array_api_numba.py,sha256=OjONBLdFRukx4vKiNK_rBxjMzsxbWpMEdD7JcGHJjmY,2924
24
24
  egglog/exp/array_api_program_gen.py,sha256=crgUYXXNhQdfTq31FSIpWLIfzNsgQD8ngg3OosCtIgg,19680
@@ -27,13 +27,13 @@ egglog/exp/siu_examples.py,sha256=KZmpkSCgbL4uqHhx2Jh9Adz1_cDbkIlyXPa1Kh_0O_8,78
27
27
  egglog/exp/__init__.py,sha256=G9zeKUcPBgIhgUg1meC86OfZVFETYIugyHWseTcCe_0,52
28
28
  egglog/graphviz_widget.py,sha256=YtI7LCFWHihDQ1qLvdj2SVYEcuZLSooFUYheunOTxdc,1339
29
29
  egglog/ipython_magic.py,sha256=VA19xAb6Sz7-IxlJBbnZW_gVFDqaYNnvdMB9QitndjE,1254
30
- egglog/pretty.py,sha256=PORBaI1jlPSgySipX8foIS5hBZPlY-W5bv2clD-J1Ps,17051
30
+ egglog/pretty.py,sha256=4YzItMaXSQw2xzId9pnjUikOojwE6G7Hg0_M4sOGJ84,19071
31
31
  egglog/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
32
- egglog/runtime.py,sha256=U6fsbTU81hWZdW8chCbnuA3OoOSZ8JnWTDE-M5WF3OM,18722
33
- egglog/thunk.py,sha256=jsj5lp6qU87GTseYip_shE7ZTYbF9E1GDcB8R1ubQh8,1925
32
+ egglog/runtime.py,sha256=P5wKThFglf2l5AynxgVAryyNjvLtFMbou7JCSSsORno,23013
33
+ egglog/thunk.py,sha256=jYMb4owraT-3zGQEYkqMK76hk39Qdpc6bfEa7CVkjcg,1894
34
34
  egglog/type_constraint_solver.py,sha256=0c8oy-sLCVN0XndfAyRxO1AvIgfQuszw0NaRJ9ILysE,5692
35
35
  egglog/widget.css,sha256=WJS2M1wQdujhSTCakMa_ZXuoTPre1Uy1lPcvBE1LZQU,102
36
36
  egglog/widget.js,sha256=UNOER3sYZ-bS7Qhw9S6qtpR81FuHa5DzXQaWWtQq334,2021
37
37
  egglog/__init__.py,sha256=iUrVe5fb0XFyMCS3CwTjwhKEtU8KpIkdTpJpnUhm8o0,247
38
- egglog/bindings.cp310-win_amd64.pyd,sha256=KSpjek2AtlZiqgmNTtDMuFrAn4O9FQzOXjCOuvvbH88,5108224
39
- egglog-7.0.0.dist-info/RECORD,,
38
+ egglog/bindings.cp310-win_amd64.pyd,sha256=pjYXlaSXtC50TWNdnGwLjKbntZ0WqfM5AR9hqehz2xc,4591104
39
+ egglog-7.1.0.dist-info/RECORD,,
{egglog-7.0.0.dist-info → egglog-7.1.0.dist-info}/WHEEL RENAMED
File without changes