forked from egraphs-good/egg
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCargo.toml
44 lines (39 loc) · 1.14 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
42
43
44
[package]
name = "egg"
version = "0.6.1-dev"
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"
# for the serde-1 feature
serde = { version = "1", features = ["derive"], optional = true }
# for the reports feature
serde_json = { version = "1", optional = true }
fxhash = "0.2"
hashbrown = { version = "0.11", default-features = false, features = ["inline-more"] }
[[bench]]
name = "bench_tests"
harness = false
[dev-dependencies]
env_logger = {version = "0.7", default-features = false}
ordered-float = "1"
[dev-dependencies.iai]
# version = "*"
git = "https://github.com/mwillsey/iai"
rev = "c0b7cb47181e9577a6847caae53a2f0f881f45b2"
features = ["threadpool"]
[features]
wasm-bindgen = [ "instant/wasm-bindgen" ]
serde-1 = [ "serde", "indexmap/serde-1" ]
reports = [ "serde-1", "serde_json" ]