problem-reductions/Cargo.toml at main · CodingThrust/problem-reductions · 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
67
68
69
70
[workspace]
members = [
    ".",
    "problemreductions-expr",
    "problemreductions-macros",
    "problemreductions-cli",
    "problemreductions-web",
]

[package]
name = "problemreductions"
version = "0.6.0"
edition = "2024"
rust-version = "1.88"
description = "A library for reducing NP-hard problems"
license = "MIT"
repository = "https://github.com/CodingThrust/problem-reductions"
keywords = ["np-hard", "optimization", "reduction", "sat", "graph"]
categories = ["algorithms", "science"]

[features]
example-db = []
benchmarks = ["dep:criterion"]

[dependencies]
petgraph = { version = "0.8.3", features = ["serde-1"] }
serde = { version = "1.0.229", features = ["derive"] }
# Persisted problem and reduction data must preserve every finite f64 on replay.
serde_json = { version = "1.0.151", features = ["float_roundtrip"] }
thiserror = "2.0.20"
num-bigint = "0.4.8"
num-rational = "0.4.2"
num-traits = "0.2.19"
highs = "2.4.0"
inventory = "0.3.24"
rand = "0.10.2"
criterion = { version = "0.8.2", optional = true }
problemreductions-macros = { version = "0.6.0", path = "problemreductions-macros" }
problemreductions-expr = { version = "0.6.0", path = "problemreductions-expr" }

[dev-dependencies]
proptest = "1.11.0"

[[bench]]
name = "solver_benchmarks"
harness = false
required-features = ["benchmarks"]

[[example]]
name = "export_examples"
path = "examples/export_examples.rs"
required-features = ["example-db"]

[profile.dev]
debug = "line-tables-only"

[profile.debug-dev]
inherits = "dev"
debug = "full"

[profile.release]
lto = true
codegen-units = 1
strip = true

# Size-optimized build for the browser (scripts/build_website.py).
[profile.wasm-release]
inherits = "release"
opt-level = "z"
panic = "abort"