forked from egraphs-good/egg
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCargo.toml
43 lines (37 loc) · 794 Bytes
/
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
[package]
name = "egg"
version = "0.1.3-dev"
authors = ["Max Willsey <[email protected]>"]
edition = "2018"
description = "An implementation of egraphs"
repository = "https://github.com/mwillsey/egg"
readme = "README.md"
license = "MIT"
keywords = ["e-graphs"]
categories = ["data-structures"]
[dependencies]
symbolic_expressions = "5"
log = "0.4"
itertools = "0.8"
smallvec = "1"
indexmap = "1"
instant = "0.1"
# for the serde-1 feature
serde = { version = "1", features = ["derive"], optional = true }
[dev-dependencies]
env_logger = "0.7"
ordered-float = "1"
[features]
parent-pointers = []
stdweb = [ "instant/stdweb" ]
serde-1 = [ "serde", "indexmap/serde-1" ]
[workspace]
members = [
".",
"web-demo",
]
[profile.test]
debug = true
opt-level = 1
[profile.release]
debug = true