eqmap/Cargo.toml at 785a8a4dddb34f486a01e69241f8831f52754f21 · cornell-zhang/eqmap · GitHub

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
[package]
name = "eqmap"
version = "0.9.2"
edition = "2024"
default-run = "eqmap_fpga"
license = "Apache-2.0"

categories = [
    "data-structures",
    "compilers",
    "science",
]

description = "EqMap: Technology Mapping w/ E-Graphs"
documentation = "https://cornell-zhang.github.io/eqmap/"
homepage = "https://cornell-zhang.github.io/eqmap/"
include = [
    "Cargo.toml",
    "clippy.toml",
    "LICENSE",
    "README.md",
    "src/**/*.rs",
    "rules/*.celllang",
]

keywords = [
    "data-structures",
    "eda",
    "netlist",
    "circuits",
    "hardware",
]

readme = "README.md"

repository = "https://github.com/cornell-zhang/eqmap"

[dependencies]
bitvec = "1.0.1"
clap = { version = "4.5.53", features = ["derive"] }
egg = "0.11.0"
indicatif = "0.18.3"
serde = { version = "1.0.228", features = ["derive"] }
serde_json = "1.0.145"
toml = "0.9.11"
thiserror = { version = "2.0.16" }
sv-parser = "0.13.4"
ctrlc = "3.5.1"
safety-net = { version = "0.5.5", features = ["graph"] }
good_lp = { version = "1.14.2", optional = true }
nl-compiler = { version = "0.1.15" }

[lints.clippy]
manual_range_contains = "allow"

[features]
default = [ "dyn_decomp" ]
# We probably don't want the compiler to apply folding on LUTs.
# It is too expensive
# default = [ "dyn_decomp", "egraph_fold" ]
egraph_fold = []
exact_cbc = [ "egg/lp", "good_lp/coin_cbc" ]
exact_highs = [ "egg/lp", "good_lp/highs" ]
cut_analysis = []
dyn_decomp = [ "cut_analysis" ]
graph_dumps = []