-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCargo.toml
57 lines (52 loc) · 1.66 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
45
46
47
48
49
50
51
52
53
54
55
56
57
[package]
name = "sat-nexus"
version = "0.1.0"
authors = ["Konstantin Chukharev <[email protected]>"]
edition = "2021"
[workspace]
members = [
"lib/_test_utils",
"lib/ffi-utils",
"lib/ipasir-sys",
"lib/minisat-sys",
"lib/cadical-sys",
"lib/kissat-sys",
"lib/cli",
"lib/expr-parser",
"lib/simple-sat",
"lib/utils",
"lib/pydical",
"examples/partition",
"examples/backdoor",
"examples/pyeda",
"examples/bf",
]
[features]
cadical-static = ["cadical/static", "sat-nexus-wrappers/cadical-static"]
kissat-static = ["kissat/static", "sat-nexus-wrappers/kissat-static"]
[dependencies]
sat-nexus-core = { path = "lib/core" }
sat-nexus-wrappers = { path = "lib/wrappers" }
ipasir = { path = "lib/ipasir" }
minisat = { path = "lib/minisat", features = ["dynamic"] }
cadical = { path = "lib/cadical", features = ["dynamic"] }
kissat = { path = "lib/kissat", features = ["dynamic"] }
[dev-dependencies]
sat-nexus-wrappers = { path = "lib/wrappers", features = ["cadical-static", "kissat-static"] }
sat-nexus-test-utils = { path = "lib/_test_utils" }
ffi-utils = { path = "lib/ffi-utils" }
minisat-sys = { path = "lib/minisat-sys", features = ["dynamic", "static"] }
cadical-sys = { path = "lib/cadical-sys", features = ["dynamic", "static"] }
kissat-sys = { path = "lib/kissat-sys", features = ["dynamic", "static"] }
minisat = { path = "lib/minisat", features = ["dynamic", "static"] }
cadical = { path = "lib/cadical", features = ["dynamic", "static"] }
color-eyre = "0.6"
quickcheck = "1.0.3"
quickcheck_macros = "1.0.0"
itertools = "0.13"
ndarray = "0.16"
criterion = "0.3"
once_cell = "1.20"
[[bench]]
name = "my_benchmark"
harness = false