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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73

[dependencies.coin_cbc]
optional = true
version = "0.1.6"

[dependencies.env_logger]
default-features = false
version = "0.9.0"

[dependencies.fxhash]
version = "0.2.1"

[dependencies.hashbrown]
version = "0.12.1"

[dependencies.indexmap]
version = "1.8.1"

[dependencies.instant]
version = "0.1.12"

[dependencies.log]
version = "0.4.17"

[dependencies.serde]
features = ["derive"]
optional = true
version = "1.0.137"

[dependencies.serde_json]
optional = true
version = "1.0.81"

[dependencies.smallvec]
features = ["union", "const_generics"]
version = "1.8.0"

[dependencies.symbol_table]
features = ["global"]
version = "0.2.0"

[dependencies.symbolic_expressions]
version = "5.0.3"

[dependencies.thiserror]
version = "1.0.31"

[dependencies.vectorize]
optional = true
version = "0.2.0"
[dev-dependencies.ordered-float]
version = "3.0.0"

[features]
lp = ["coin_cbc"]
reports = ["serde-1", "serde_json"]
serde-1 = ["serde", "indexmap/serde-1", "hashbrown/serde", "symbol_table/serde", "vectorize"]
test-explanations = []
wasm-bindgen = ["instant/wasm-bindgen"]

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