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
[workspace]
members = [".", "problemreductions-macros", "problemreductions-cli"]

[package]
name = "problemreductions"
version = "0.5.0"
edition = "2021"
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]
default = ["ilp-highs"]
example-db = []
ilp = ["ilp-highs"]  # backward compat shorthand
ilp-solver = []      # marker: enables ILP solver code
ilp-highs = ["ilp-solver", "dep:good_lp", "good_lp/highs"]
ilp-cplex = ["ilp-solver", "dep:good_lp", "good_lp/cplex-rs"]
ilp-lp-solvers = ["ilp-solver", "dep:good_lp", "good_lp/lp-solvers"]

[dependencies]
petgraph = { version = "0.8", features = ["serde-1"] }
bitvec = "1.0"
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"
thiserror = "2.0"
num-bigint = "0.4"
num-traits = "0.2"
good_lp = { version = "=1.14.2", default-features = false, optional = true }
inventory = "0.3"
ordered-float = "5.0"
rand = "0.10"
problemreductions-macros = { version = "0.5.0", path = "problemreductions-macros" }

[dev-dependencies]
proptest = "1.0"
criterion = "0.8"

[[bench]]
name = "solver_benchmarks"
harness = false

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

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