-
Notifications
You must be signed in to change notification settings - Fork 0
/
Cargo.toml
49 lines (45 loc) · 1.33 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
[package]
name = "sat-nexus"
version = "0.1.0"
authors = ["Konstantin Chukharev <lipen00@gmail.com>"]
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",
"examples/partition",
"examples/backdoor",
"examples/pyeda",
]
[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" }
[dev-dependencies]
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.15"
criterion = "0.3"
once_cell = "1.19"
[[bench]]
name = "my_benchmark"
harness = false