-
Notifications
You must be signed in to change notification settings - Fork 2
/
Cargo.toml
61 lines (53 loc) · 1.21 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
58
59
60
61
[workspace]
members = [".", "n_queens_gen", "max_clique_gen", "random_graph_gen", "sudoku_gen"]
default-members = ["."]
[workspace.package]
edition = "2021"
authors = ["Tim Beurskens <[email protected]>"]
[package]
name = "rsbdd"
description = "A BDD-based SAT solver"
version = "0.14.5"
edition.workspace = true
authors.workspace = true
[lints]
workspace = true
[dependencies]
dot.workspace = true
itertools.workspace = true
lazy_static.workspace = true
rand.workspace = true
rustc-hash.workspace = true
clap.workspace = true
csv.workspace = true
regex.workspace = true
rayon.workspace = true
argfile.workspace = true
wild.workspace = true
anyhow.workspace = true
[dev-dependencies]
glob.workspace = true
pretty_assertions.workspace = true
[workspace.dependencies]
dot = "0.1"
itertools = "0.12"
lazy_static = "1.4"
rand = "0.8"
rustc-hash = "1.1"
clap = { version = "4.4", features = ["derive", "env", "wrap_help", "usage"] }
csv = "1.3"
regex = "1.10"
glob = "0.3"
pretty_assertions = "1.4"
anyhow = "1.0"
rayon = "1.8"
argfile = "0.2"
wild = "2.2"
[workspace.lints.rust]
unsafe_code = "forbid"
[workspace.lints.clippy]
enum_glob_use = "deny"
#pedantic = "deny"
nursery = "deny"
unwrap_used = "deny"
future_not_send = "allow"