egglog 4.0.1__cp312-none-win_amd64.whl → 5.0.0__cp312-none-win_amd64.whl

egglog/declarations.py

@@ -269,7 +269,7 @@ class ModuleDeclarations:
                 return decls.get_egg_fn(ref)
             except KeyError:
                 pass
-        raise KeyError(f"Callable ref {ref} not found")
+        raise KeyError(f"Callable ref {ref!r} not found")
 
     def get_egg_sort(self, ref: JustTypeRef) -> str:
         for decls in self.all_decls:
@@ -770,9 +770,6 @@ class CallDecl:
         if self in context.names:
             return context.names[self]
         ref, args = self.callable, [a.expr for a in self.args]
-        # Special case != since it doesn't have a decl
-        if isinstance(ref, MethodRef) and ref.method_name == "__ne__":
-            return f"{args[0].pretty(context)} != {args[1].pretty(context)}"
         function_decl = context.mod_decls.get_function_decl(ref)
         # Determine how many of the last arguments are defaults, by iterating from the end and comparing the arg with the default
         n_defaults = 0

egglog/egraph.py

@@ -54,6 +54,7 @@ __all__ = [
     "rewrite",
     "birewrite",
     "eq",
+    "ne",
     "panic",
     "let",
     "delete",
@@ -258,8 +259,6 @@ class _BaseModule(ABC):
                 unextractable=unextractable,
             )
 
-        # Register != as a method so we can print it as a string
-        self._mod_decls._decl.register_callable_ref(MethodRef(cls_name, "__ne__"), "!=")
         return RuntimeClass(self._mod_decls, cls_name)
 
     # We seperate the function and method overloads to make it simpler to know if we are modifying a function or method,
@@ -663,6 +662,8 @@ class _Builtins(_BaseModule):
             msg = "Builtins already initialized"
             raise RuntimeError(msg)
         _BUILTIN_DECLS = self._mod_decls._decl
+        # Register != operator
+        _BUILTIN_DECLS.register_callable_ref(FunctionRef("!="), "!=")
 
     def _process_commands(self, cmds: Iterable[bindings._Command]) -> None:
         """
@@ -1152,22 +1153,10 @@ class Expr(metaclass=_ExprMetaclass):
     Expression base class, which adds suport for != to all expression types.
     """
 
-    def __ne__(self: EXPR, other_expr: EXPR) -> Unit:  # type: ignore[override, empty-body]
-        """
-        Compare whether to expressions are not equal.
-
-        :param self: The expression to compare.
-        :param other_expr: The other expression to compare to, which must be of the same type.
-        :meta public:
-        """
+    def __ne__(self, other: NoReturn) -> NoReturn:  # type: ignore[override, empty-body]
         ...
 
     def __eq__(self, other: NoReturn) -> NoReturn:  # type: ignore[override, empty-body]
-        """
-        Equality is currently not supported.
-
-        We only add this method so that if you try to use it MyPy will warn you.
-        """
         ...
 
 
@@ -1492,6 +1481,11 @@ def eq(expr: EXPR) -> _EqBuilder[EXPR]:
     return _EqBuilder(expr)
 
 
+def ne(expr: EXPR) -> _NeBuilder[EXPR]:
+    """Check if the given expression is not equal to the given value."""
+    return _NeBuilder(expr)
+
+
 def panic(message: str) -> Action:
     """Raise an error with the given message."""
     return Panic(message)
@@ -1596,6 +1590,30 @@ class _EqBuilder(Generic[EXPR]):
         return f"eq({self.expr})"
 
 
+@dataclass
+class _NeBuilder(Generic[EXPR]):
+    expr: EXPR
+
+    def to(self, expr: EXPR) -> Unit:
+        l_expr = cast(RuntimeExpr, self.expr)
+        return cast(
+            Unit,
+            RuntimeExpr(
+                BUILTINS._mod_decls,
+                TypedExprDecl(
+                    JustTypeRef("Unit"),
+                    CallDecl(
+                        FunctionRef("!="),
+                        (l_expr.__egg_typed_expr__, convert_to_same_type(expr, l_expr).__egg_typed_expr__),
+                    ),
+                ),
+            ),
+        )
+
+    def __str__(self) -> str:
+        return f"ne({self.expr})"
+
+
 @dataclass
 class _SetBuilder(Generic[EXPR]):
     lhs: Expr

egglog/examples/bool.py

@@ -13,7 +13,7 @@ egraph = EGraph()
 egraph.check(eq(T & T).to(T))
 egraph.check(eq(T & F).to(F))
 egraph.check(eq(T | F).to(T))
-egraph.check((T | F) != F)
+egraph.check(ne(T | F).to(F))
 
 egraph.check(eq(i64(1).bool_lt(2)).to(T))
 egraph.check(eq(i64(2).bool_lt(1)).to(F))

egglog/examples/lambda_.py

@@ -117,7 +117,7 @@ egraph.register(
         union(t.eval()).with_(Val(i1 + i2))
     ),
     rule(eq(t).to(t1 == t2), eq(t1.eval()).to(t2.eval())).then(union(t.eval()).with_(Val.TRUE)),
-    rule(eq(t).to(t1 == t2), eq(t1.eval()).to(v1), eq(t2.eval()).to(v2), v1 != v2).then(
+    rule(eq(t).to(t1 == t2), eq(t1.eval()).to(v1), eq(t2.eval()).to(v2), ne(v1).to(v2)).then(
         union(t.eval()).with_(Val.FALSE)
     ),
     rule(eq(v).to(t.eval())).then(union(t).with_(Term.val(v))),
@@ -154,12 +154,12 @@ egraph.register(
     # let-var-same
     rewrite(let_(x, t, Term.var(x))).to(t),
     # let-var-diff
-    rewrite(let_(x, t, Term.var(y))).to(Term.var(y), x != y),
+    rewrite(let_(x, t, Term.var(y))).to(Term.var(y), ne(x).to(y)),
     # let-lam-same
     rewrite(let_(x, t, lam(x, t1))).to(lam(x, t1)),
     # let-lam-diff
-    rewrite(let_(x, t, lam(y, t1))).to(lam(y, let_(x, t, t1)), x != y, eq(fv).to(freer(t)), fv.not_contains(y)),
-    rule(eq(t).to(let_(x, t1, lam(y, t2))), x != y, eq(fv).to(freer(t1)), fv.contains(y)).then(
+    rewrite(let_(x, t, lam(y, t1))).to(lam(y, let_(x, t, t1)), ne(x).to(y), eq(fv).to(freer(t)), fv.not_contains(y)),
+    rule(eq(t).to(let_(x, t1, lam(y, t2))), ne(x).to(y), eq(fv).to(freer(t1)), fv.contains(y)).then(
         union(t).with_(lam(t.v(), let_(x, t1, let_(y, Term.var(t.v()), t2))))
     ),
 )

egglog/examples/resolution.py

@@ -78,7 +78,7 @@ egraph.register(
     union(~p0 | (~p1 | (p2 | F))).with_(T),
 )
 egraph.run(10)
-egraph.check(T != F)
+egraph.check(ne(T).to(F))
 egraph.check(eq(p0).to(F))
 egraph.check(eq(p2).to(F))
 egraph

egglog/exp/array_api.py

@@ -278,7 +278,7 @@ class Int(Expr):
 @array_api_module.register
 def _int(i: i64, j: i64, r: Boolean, o: Int):
     yield rewrite(Int(i) == Int(i)).to(TRUE)
-    yield rule(eq(r).to(Int(i) == Int(j)), i != j).then(union(r).with_(FALSE))
+    yield rule(eq(r).to(Int(i) == Int(j)), ne(i).to(j)).then(union(r).with_(FALSE))
 
     yield rewrite(Int(i) >= Int(i)).to(TRUE)
     yield rule(eq(r).to(Int(i) >= Int(j)), i > j).then(union(r).with_(TRUE))
@@ -666,7 +666,7 @@ def _tuple_value(
         # Includes
         rewrite(TupleValue.EMPTY.includes(v)).to(FALSE),
         rewrite(TupleValue(v).includes(v)).to(TRUE),
-        rewrite(TupleValue(v).includes(v2)).to(FALSE, v != v2),
+        rewrite(TupleValue(v).includes(v2)).to(FALSE, ne(v).to(v2)),
         rewrite((ti + ti2).includes(v)).to(ti.includes(v) | ti2.includes(v)),
     ]
 
@@ -1503,7 +1503,7 @@ def _assume_value_one_of(x: NDArray, v: Value, vs: TupleValue, idx: TupleInt):
 def _ndarray_value_isfinite(arr: NDArray, x: Value, xs: TupleValue, i: Int, f: f64, b: Boolean):
     yield rewrite(Value.int(i).isfinite()).to(TRUE)
     yield rewrite(Value.bool(b).isfinite()).to(TRUE)
-    yield rewrite(Value.float(Float(f)).isfinite()).to(TRUE, f != f64(math.nan))
+    yield rewrite(Value.float(Float(f)).isfinite()).to(TRUE, ne(f).to(f64(math.nan)))
 
     # a sum of an array is finite if all the values are finite
     yield rewrite(isfinite(sum(arr))).to(NDArray.scalar(Value.bool(arr.index(ALL_INDICES).isfinite())))

egglog/exp/array_api_program_gen.py

@@ -126,7 +126,8 @@ def _float_program(f: Float, g: Float, f64_: f64, i: Int, r: Rational):
     yield rewrite(float_program(f * g)).to(Program("(") + float_program(f) + " * " + float_program(g) + ")")
     yield rewrite(float_program(f / g)).to(Program("(") + float_program(f) + " / " + float_program(g) + ")")
     yield rewrite(float_program(Float.rational(r))).to(
-        Program("float(") + Program(r.numer.to_string()) + " / " + Program(r.denom.to_string()) + ")", r.denom != i64(1)
+        Program("float(") + Program(r.numer.to_string()) + " / " + Program(r.denom.to_string()) + ")",
+        ne(r.denom).to(i64(1)),
     )
     yield rewrite(float_program(Float.rational(r))).to(
         Program("float(") + Program(r.numer.to_string()) + ")", eq(r.denom).to(i64(1))

egglog/exp/program_gen.py

@@ -182,7 +182,7 @@ def _compile(
     yield rule(
         stmt,
         p.compile(i),
-        p1.parent != p,
+        ne(p1.parent).to(p),
         eq(s1).to(p1.expr),
     ).then(
         set_(p.statements).to(join(s1, "\n")),
@@ -214,7 +214,7 @@ def _compile(
     # Otherwise, if its not equal to either input, its not an identifier
     yield rule(program_add, eq(p.expr).to(p1.expr), eq(b).to(p1.is_identifer)).then(set_(p.is_identifer).to(b))
     yield rule(program_add, eq(p.expr).to(p2.expr), eq(b).to(p2.is_identifer)).then(set_(p.is_identifer).to(b))
-    yield rule(program_add, p.expr != p1.expr, p.expr != p2.expr).then(set_(p.is_identifer).to(Bool(False)))
+    yield rule(program_add, ne(p.expr).to(p1.expr), ne(p.expr).to(p2.expr)).then(set_(p.is_identifer).to(Bool(False)))
 
     # Set parent of p1
     yield rule(program_add, p.compile(i)).then(
@@ -228,7 +228,7 @@ def _compile(
     yield rule(program_add, p.compile(i), p1.next_sym).then(set_(p2.parent).to(p))
 
     # Compile p2, if p1 parent not equal, but p2 parent equal
-    yield rule(program_add, p.compile(i), p1.parent != p, eq(p2.parent).to(p)).then(p2.compile(i))
+    yield rule(program_add, p.compile(i), ne(p1.parent).to(p), eq(p2.parent).to(p)).then(p2.compile(i))
 
     # Compile p2, if p1 parent eqal
     yield rule(program_add, p.compile(i2), eq(p1.parent).to(p), eq(i).to(p1.next_sym), eq(p2.parent).to(p)).then(
@@ -259,8 +259,8 @@ def _compile(
     yield rule(
         program_add,
         p.compile(i),
-        p1.parent != p,
-        p2.parent != p,
+        ne(p1.parent).to(p),
+        ne(p2.parent).to(p),
     ).then(
         set_(p.statements).to(String("")),
         set_(p.next_sym).to(i),
@@ -269,7 +269,7 @@ def _compile(
     yield rule(
         program_add,
         eq(p1.parent).to(p),
-        p2.parent != p,
+        ne(p2.parent).to(p),
         eq(s1).to(p1.statements),
         eq(i).to(p1.next_sym),
     ).then(
@@ -280,7 +280,7 @@ def _compile(
     yield rule(
         program_add,
         eq(p2.parent).to(p),
-        p1.parent != p,
+        ne(p1.parent).to(p),
         eq(s2).to(p2.statements),
         eq(i).to(p2.next_sym),
     ).then(
@@ -319,7 +319,7 @@ def _compile(
     # 1. b. If p1 parent is not p, then just use assign as statement, next sym of i
     yield rule(
         program_assign,
-        p1.parent != p,
+        ne(p1.parent).to(p),
         p.compile(i),
         eq(s2).to(p1.expr),
         eq(p1.is_identifer).to(Bool(False)),
@@ -347,7 +347,7 @@ def _compile(
     # 1. b. If p1 parent is not p, then just use assign as statement, next sym of i
     yield rule(
         program_assign,
-        p1.parent != p,
+        ne(p1.parent).to(p),
         p.compile(i),
         eq(s2).to(p1.expr),
         eq(p1.is_identifer).to(Bool(True)),

egglog/runtime.py

@@ -435,15 +435,13 @@ class RuntimeMethod:
             self.__egg_callable_ref__ = PropertyRef(self.class_name, self.__egg_method_name__)
         else:
             self.__egg_callable_ref__ = MethodRef(self.class_name, self.__egg_method_name__)
-        # Special case for __ne__ which does not have a normal function defintion since
-        # it relies of type parameters
-        if self.__egg_method_name__ == "__ne__":
-            self.__egg_fn_decl__ = None
-        else:
-            try:
-                self.__egg_fn_decl__ = self.__egg_self__.__egg_decls__.get_function_decl(self.__egg_callable_ref__)
-            except KeyError as e:
-                raise AttributeError(f"Class {self.class_name} does not have method {self.__egg_method_name__}") from e
+        try:
+            self.__egg_fn_decl__ = self.__egg_self__.__egg_decls__.get_function_decl(self.__egg_callable_ref__)
+        except KeyError as e:
+            msg = f"Class {self.class_name} does not have method {self.__egg_method_name__}"
+            if self.__egg_method_name__ == "__ne__":
+                msg += ". Did you mean to use the ne(...).to(...)?"
+            raise AttributeError(msg) from e
 
     def __call__(self, *args: object, **kwargs) -> RuntimeExpr | None:
         args = (self.__egg_self__, *args)

{egglog-4.0.1.dist-info → egglog-5.0.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: egglog
-Version: 4.0.1
+Version: 5.0.0
 Classifier: Environment :: MacOS X
 Classifier: Environment :: Win32 (MS Windows)
 Classifier: Intended Audience :: Developers
@@ -19,10 +19,11 @@ Classifier: Typing :: Typed
 Requires-Dist: typing-extensions
 Requires-Dist: black
 Requires-Dist: graphviz
-Requires-Dist: pytest; extra == 'test'
-Requires-Dist: mypy; extra == 'test'
-Requires-Dist: syrupy; extra == 'test'
-Requires-Dist: egglog[array]; extra == 'test'
+Requires-Dist: pre-commit; extra == 'dev'
+Requires-Dist: ruff; extra == 'dev'
+Requires-Dist: mypy; extra == 'dev'
+Requires-Dist: anywidget[dev]; extra == 'dev'
+Requires-Dist: egglog[docs,test]; extra == 'dev'
 Requires-Dist: pydata-sphinx-theme; extra == 'docs'
 Requires-Dist: myst-nb; extra == 'docs'
 Requires-Dist: sphinx-autodoc-typehints; extra == 'docs'
@@ -35,17 +36,16 @@ 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: pre-commit; extra == 'dev'
-Requires-Dist: ruff; extra == 'dev'
-Requires-Dist: mypy; extra == 'dev'
-Requires-Dist: anywidget[dev]; extra == 'dev'
-Requires-Dist: egglog[docs,test]; extra == 'dev'
+Requires-Dist: pytest; extra == 'test'
+Requires-Dist: mypy; extra == 'test'
+Requires-Dist: syrupy; extra == 'test'
+Requires-Dist: egglog[array]; extra == 'test'
 Requires-Dist: scikit-learn; extra == 'array'
 Requires-Dist: array_api_compat; extra == 'array'
 Requires-Dist: numba; (python_version<"3.12") and extra == 'array'
-Provides-Extra: test
-Provides-Extra: docs
 Provides-Extra: dev
+Provides-Extra: docs
+Provides-Extra: test
 Provides-Extra: array
 License-File: LICENSE
 Summary: e-graphs in Python built around the the egglog rust library
@@ -60,7 +60,7 @@ Description-Content-Type: text/markdown; charset=UTF-8; variant=GFM
 `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/en/latest/?badge=latest) for more information.
+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)!
 

{egglog-4.0.1.dist-info → egglog-5.0.0.dist-info}/RECORD

@@ -1,34 +1,34 @@
-egglog-4.0.1.dist-info/METADATA,sha256=u07S8XPLPevSoQv4iDkjnhOaBREt43223RFXC2ndmW0,3547
-egglog-4.0.1.dist-info/WHEEL,sha256=5VSD4WjrAS64a1-QM6eGcLa48TnO082fkviTtVvn8m4,96
-egglog-4.0.1.dist-info/license_files/LICENSE,sha256=TfaboMVZ81Q6OUaKjU7z6uVjSlcGKclLYcOpgDbm9_s,1091
+egglog-5.0.0.dist-info/METADATA,sha256=qi__7zlNff-jiJ4Brz5IwWx9OXIql62sX2D13U4gaGc,3524
+egglog-5.0.0.dist-info/WHEEL,sha256=5VSD4WjrAS64a1-QM6eGcLa48TnO082fkviTtVvn8m4,96
+egglog-5.0.0.dist-info/license_files/LICENSE,sha256=TfaboMVZ81Q6OUaKjU7z6uVjSlcGKclLYcOpgDbm9_s,1091
 egglog/bindings.pyi,sha256=ozrs-Oau7dSNnU9x1iTZWmuqJSXnepQ_fYR18JKlaWA,11073
 egglog/builtins.py,sha256=3kNQv62722Z1PtgHA_mDOIlaMSPJLSOjjO2B9SIZYdo,14005
 egglog/config.py,sha256=mALVaxh7zmGrbuyzaVKVmYKcu1lF703QsKJw8AF7gSM,176
-egglog/declarations.py,sha256=3b7iC8U4CVVwM-0L4T_AFq5eiCH4uTNa1jWiXlaT2eo,39641
-egglog/egraph.py,sha256=pdut6RIcqlOBGCp7Huii-XclPB4mYZ15MF9xF8eH2u4,60030
-egglog/examples/bool.py,sha256=EU8_6XiwbTj7fdE4R7kfUjm1FQO5KlfIORZaTbJ6Ic8,848
+egglog/declarations.py,sha256=GrDNVkhfy1h9CqUYJuMhlQlntdJJl-pnLLPbq65of_s,39437
+egglog/egraph.py,sha256=vF4_V3FsdazBI9UN42M3xrjkMm_esDHN8JxvTwHf9Qw,60382
+egglog/examples/bool.py,sha256=P4X2lxyiViP7bxsQooJBP-ofnqmVcw5jdylBOricNtY,851
 egglog/examples/eqsat_basic.py,sha256=1vY0HVPM-xgKT-VuYa2XAaC_dfv6PEcfjg0qCF55sjo,1023
 egglog/examples/fib.py,sha256=fQDB4quzrHwZER5DSPvZKB9POcYDNYV7fNdlVwI-0Ns,533
-egglog/examples/lambda_.py,sha256=x-_Eujg-eVetQEZQuwwtSRMVATHajYKl7ywr9DFVSfU,9003
+egglog/examples/lambda_.py,sha256=fuxQKmouE_vC4CyLXuPfNsJyTfMerHoryAs3DOAl88g,9023
 egglog/examples/matrix.py,sha256=hAVoxd9TIdeFkD9MpsEpm8nW2nJONZefIGhqMPuQlNI,5440
 egglog/examples/ndarrays.py,sha256=slNff_HoiTGk_0XRs9oPsyQWT8EVGZ7eURlU5U05fg8,4373
 egglog/examples/README.rst,sha256=QrbfmivODBvUvmY3-dHarcbC6bEvwoqAfTDhiI-aJxU,237
-egglog/examples/resolution.py,sha256=9Mn0ck_WgnaNfQ0kldwbaI65mU7DG4lOk6_lHUZaVjY,2226
+egglog/examples/resolution.py,sha256=xhsXQDhYJJ9lI5jk9RAnTi-fUFSZwLSzwWQjAGDdHi4,2231
 egglog/examples/schedule_demo.py,sha256=3borxRua7WSlEPqmPcImhJcDzz37rJh6uOL9-koBDD8,756
 egglog/examples/__init__.py,sha256=KuhaJFOyz_rpUvEqZubsgLnv6rhQNE_AVFXA6bUnpdY,34
-egglog/exp/array_api.py,sha256=K85T4CRQXl6gjvZkqCcaORcjugErRZx4Yid_fdxmnvA,43896
+egglog/exp/array_api.py,sha256=k6DTmjwppXC9SYOY5xlKsnWFVigSIMOA5vQeedFXAKA,43911
 egglog/exp/array_api_jit.py,sha256=Srd4K3Ej-lsvBrFN97VS0A9lb8AwIKKZqPLiMwFzLcU,1283
 egglog/exp/array_api_numba.py,sha256=e6qq08FMjyksXLNJemEfFUgCMCpF7l8eW2wBzBN1f90,4024
-egglog/exp/array_api_program_gen.py,sha256=iARYt9MESn-JQi-xpPp3KfPdoc_1DhmgZyaTJbDC-UA,20328
-egglog/exp/program_gen.py,sha256=8SLgEV511U6HZnhWR_vaTXpUZlAZPsJv992qjkQmVg8,12445
+egglog/exp/array_api_program_gen.py,sha256=Asz9p_CvXSjd-KoVBLvj1eJ5W2aEzWRNgtY0RXFqsbw,20343
+egglog/exp/program_gen.py,sha256=lHc3AViP-3Zf0iGUTet0z5_au5v2aaMte8LgChKYZRw,12495
 egglog/exp/__init__.py,sha256=G9zeKUcPBgIhgUg1meC86OfZVFETYIugyHWseTcCe_0,52
 egglog/graphviz_widget.py,sha256=YtI7LCFWHihDQ1qLvdj2SVYEcuZLSooFUYheunOTxdc,1339
 egglog/ipython_magic.py,sha256=VA19xAb6Sz7-IxlJBbnZW_gVFDqaYNnvdMB9QitndjE,1254
 egglog/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-egglog/runtime.py,sha256=rzqiMLC3JIlKEkB6yJOlsBuo9v-5faokJx9iZmn-eKM,24037
+egglog/runtime.py,sha256=1PP0XugpbgGH3r0brskkF1Pg9EAtfXpejVAhp_GXJUY,23932
 egglog/type_constraint_solver.py,sha256=ZsrFvi_6ecDcXCrdZNwCeVj-LQlpfnnXQ3GP7XitwS8,3519
 egglog/widget.css,sha256=WJS2M1wQdujhSTCakMa_ZXuoTPre1Uy1lPcvBE1LZQU,102
 egglog/widget.js,sha256=UNOER3sYZ-bS7Qhw9S6qtpR81FuHa5DzXQaWWtQq334,2021
 egglog/__init__.py,sha256=AGM-7H_Vx1Xb0Z-tc0C9Y8JbQxpa6hdYfhSU_dnT3Mw,244
-egglog/bindings.cp312-win_amd64.pyd,sha256=PhWh5hz3SqQIL-_oBGg1dWQmiCyl-0_bYjwK6WWR1pI,5280256
-egglog-4.0.1.dist-info/RECORD,,
+egglog/bindings.cp312-win_amd64.pyd,sha256=TsSuqKzHCsFVaoky1QlI7X4w4rQIXPLlxzkTkXUAeY4,5279744
+egglog-5.0.0.dist-info/RECORD,,