egg/Cargo.toml at main · egraphs-good/egg · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
[package]
authors = ["Max Willsey <me@mwillsey.com>"]
categories = ["data-structures"]
description = "An implementation of egraphs"
edition = "2024"
keywords = ["e-graphs"]
license = "MIT"
name = "egg"
readme = "README.md"
repository = "https://github.com/egraphs-good/egg"
version = "0.11.0"

[dependencies]
env_logger = {version = "0.9.0", default-features = false, optional = true}
hashbrown = {version = "0.15.2", default-features = false}
indexmap = {version = "2.7.0", default-features = false}
log = {version = "0.4.17", default-features = false}
num-bigint = {version = "0.4", default-features = false}
num-traits = {version = "0.2", default-features = false}
quanta = {version = "0.12", optional = true}
rustc-hash = {version = "2.0.0", default-features = false}
smallvec = {version = "1.8.0", features = ["union", "const_generics"]}
spin = {version = "0.9", default-features = false, features = ["spin_mutex", "lazy"]}
symbol_table = {git = "https://github.com/mwillsey/symbol_table", rev = "a716c39a4aa4757c910c93fc10c5c7fa8f467133", default-features = false, features = ["global"]}
symbolic_expressions = {version = "5.0.3", optional = true}
thiserror = "2"

# for the lp feature
good_lp = { version = "1", optional = true }

# for the serde-1 feature
serde = {version = "1.0.137", features = ["derive"], optional = true}
vectorize = {version = "0.2.0", optional = true}

# for the reports feature
serde_json = {version = "1.0.81", optional = true}

[dev-dependencies]
ordered-float = "3.0.0"

[features]
default = ["std"]
std = [
  "dep:env_logger",
  "dep:quanta",
  "dep:symbolic_expressions",
  "hashbrown/default",
  "indexmap/std",
  "num-bigint/std",
  "num-traits/std",
  "log/std",
  "rustc-hash/std",
  "symbol_table/std",
]
# forces the use of indexmaps over hashmaps
deterministic = []
lp = ["std", "good_lp"]
reports = ["serde-1", "serde_json"]
serde-1 = [
  "serde",
  "indexmap/serde",
  "hashbrown/serde",
  "symbol_table/serde",
  "vectorize",
]
wasm-bindgen = ["std"]

# private features for testing
test-explanations = []

[package.metadata.docs.rs]
all-features = true
rustdoc-args = ["--cfg", "docsrs"]