Upgrade egglog version

Upgrades the egglog version to use the new parser as well as the
experimental repo.

Author: saulshanabrook

Cargo.lock

@@ -3,6 +3,7 @@ name = "egglog_python"
 version = "8.0.1"
 edition = "2021"
 
+
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 [lib]
 name = "egglog"
@@ -11,27 +12,23 @@ crate-type = ["cdylib"]
 [dependencies]
 pyo3 = { version = "0.22.5", features = ["extension-module"] }
 
-# https://github.com/egraphs-good/egglog/compare/ceed816e9369570ffed9feeba157b19471dda70d...main
-egglog = { git = "https://github.com/egraphs-good/egglog", rev = "b0db06832264c9b22694bd3de2bdacd55bbe9e32" }
-# egglog = { path = "../egg-smol" }
-# egglog = { git = "https://github.com/oflatt/egg-smol", branch = "oflatt-fast-terms" }
-# egglog = { git = "https://github.com/saulshanabrook/egg-smol", rev = "a555b2f5e82c684442775cc1a5da94b71930113c" }
+egglog = { git = "https://github.com/saulshanabrook/egg-smol", rev = "56fce297" }
+egglog-experimental = { git = "https://github.com/egraphs-good/egglog-experimental", rev = "8a1b3d6ad2723a8438f51f05027161e51f37917c" }
 egraph-serialize = { version = "0.2.0", features = ["serde", "graphviz"] }
-# egraph-serialize = { path = "../egraph-serialize", features = [
-#     "serde",
-#     "graphviz",
-# ] }
 serde_json = "1.0.132"
 pyo3-log = "0.11.0"
 log = "0.4.22"
 lalrpop-util = { version = "0.22", features = ["lexer"] }
-ordered-float = "3.7"
+ordered-float = "3.7.0"
 uuid = { version = "1.11.0", features = ["v4"] }
 
-# Use unreleased version of egraph-serialize in egglog as well
-# [patch.crates-io]
-# egraph-serialize = { git = "https://github.com/egraphs-good/egraph-serialize", rev = "5838c036623e91540831745b1574539e01c8cb23" }
-# egraph-serialize = { path = "../egraph-serialize" }
+# Use unreleased version of egglog in experimental
+[patch.'https://github.com/egraphs-good/egglog']
+# https://github.com/rust-lang/cargo/issues/5478#issuecomment-522719793
+egglog = { git = "https://github.com/saulshanabrook/egg-smol.git", rev = "56fce297" }
+
+# [replace]
+# 'https://github.com/egraphs-good/egglog.git#[email protected]' = { git = "https://github.com/egraphs-good/egglog.git", rev = "215714e1cbb13ae9e21bed2f2e1bf95804571512" }
 
 # enable debug symbols for easier profiling
 # [profile.release]

Cargo.toml

@@ -227,6 +227,9 @@ strict_equality = true
 warn_unused_configs = true
 allow_redefinition = true
 exclude = ["__snapshots__", "_build", "^conftest.py$"]
+# mypy_path = "python"
+# explicit_package_bases = true
+# namespace_packages = true
 
 [tool.maturin]
 python-source = "python"