egg 0.9.3

An implementation of egraphs
Documentation 
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

[package]
name = "egg"
version = "0.9.3"
authors = ["Max Willsey <me@mwillsey.com>"]
edition = "2018"
description = "An implementation of egraphs"
repository = "https://github.com/egraphs-good/egg"
readme = "README.md"
license = "MIT"
keywords = ["e-graphs"]
categories = ["data-structures"]

[dependencies]
symbolic_expressions = "5.0.3"
log = "0.4.17"
smallvec = { version = "1.8.0", features = ["union", "const_generics"] }
indexmap = "1.8.1"
instant = "0.1.12"
fxhash = "0.2.1"
hashbrown = "0.12.1"
thiserror = "1.0.31"
symbol_table = { version = "0.2.0", features = ["global"] }
env_logger = { version = "0.9.0", default-features = false }

# for the lp feature
coin_cbc = { version = "0.1.6", 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]
lp = ["coin_cbc"]
wasm-bindgen = ["instant/wasm-bindgen"]
serde-1 = [
    "serde",
    "indexmap/serde-1",
    "hashbrown/serde",
    "symbol_table/serde",
    "vectorize",
]
reports = ["serde-1", "serde_json"]

# private features for testing
test-explanations = []

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