Cargo.toml

[package]
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"
crate-type = ["cdylib"]

[dependencies]
pyo3 = { version = "0.22.6", features = ["extension-module"] }

egglog = { git = "https://github.com/saulshanabrook/egg-smol", rev = "889ca7635368d7e382e16a93b2883aba82f1078f" }
egglog-experimental = { git = "https://github.com/egraphs-good/egglog-experimental", rev = "8a1b3d6ad2723a8438f51f05027161e51f37917c" }
egraph-serialize = { version = "0.2.0", features = ["serde", "graphviz"] }
serde_json = "1.0.139"
pyo3-log = "0.11.0"
log = "0.4.25"
lalrpop-util = { version = "0.22", features = ["lexer"] }
ordered-float = "3.7.0"
uuid = { version = "1.13.2", features = ["v4"] }

# 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 = "889ca7635368d7e382e16a93b2883aba82f1078f" }

# [replace]
# 'https://github.com/egraphs-good/egglog.git#egglog@0.3.0' = { git = "https://github.com/egraphs-good/egglog.git", rev = "215714e1cbb13ae9e21bed2f2e1bf95804571512" }

# enable debug symbols for easier profiling
# [profile.release]
# debug = 1