forked from egraphs-good/egg
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCargo.toml
42 lines (35 loc) · 1.09 KB
/
Cargo.toml
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
[package]
name = "egg"
version = "0.7.0"
authors = ["Max Willsey <[email protected]>"]
edition = "2018"
description = "An implementation of egraphs"
repository = "https://github.com/egraph-good/egg"
readme = "README.md"
license = "MIT"
keywords = ["e-graphs"]
categories = ["data-structures"]
[dependencies]
symbolic_expressions = "5"
log = "0.4"
smallvec = { version = "1", features = ["union", "const_generics"] }
indexmap = "1"
instant = "0.1"
once_cell = "1"
fxhash = "0.2"
hashbrown = { version = "0.11", default-features = false, features = ["inline-more"] }
thiserror = "1"
# for the serde-1 feature
serde = { version = "1", features = ["derive"], optional = true }
vectorize = { version = "0.2", optional = true }
# for the reports feature
serde_json = { version = "1", optional = true }
[dev-dependencies]
env_logger = {version = "0.9", default-features = false}
ordered-float = "2"
[features]
wasm-bindgen = [ "instant/wasm-bindgen" ]
serde-1 = [ "serde", "indexmap/serde-1", "hashbrown/serde", "vectorize" ]
reports = [ "serde-1", "serde_json" ]
# private features for testing
test-explanations = []