aries/Cargo.toml at master · plaans/aries · 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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
[workspace]

members = [
    "solver",
    "bench/data",
    "bench/bench",
    "env_param",
    "planning/engine",
    "planning/planx",
    "planning/timelines",
    "planning/planning",
    "planning/planners",
    "planning/grpc/api",
    "planning/grpc/server",
    "aries_fzn",
    "examples/sat",
    "examples/scheduling",
    "examples/smt",
    "examples/gg",
    "examples/knapsack",
    "validator",
]
resolver = "2"

[workspace.dependencies]
anyhow = { version = "1.0" }
arcstr = { version = "1.2" }
async-trait = "0.1"
bumpalo = { version = "3.19" }
clap = { version = "4.5", features = ["derive"] }
comfy-table = "7.0"
crossbeam-channel = "0.5"
derivative = "2.2"
derive_builder = "0.20"
itertools = { version = "0.14" }
fixedbitset = { version = "0.5.7", default-features = false }
format_num = "0.1.0"
hashbrown = "0.16"
im = "15.1"
lru = "0.16"
malachite = "0.9.0"
num-rational = { version = "0.4.2" }
num-integer = { default-features = false, version = "0.1.46" }
pathfinding = "4.14.0"
prost = { version = "0.14" }
rand = { version = "0.9", features = ["small_rng"] }
readable = "0.1"
regex = { version = "1" }
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"
smallvec = { version = "1.15", features = ["union"] }
structopt = "0.3"
streaming-iterator = "0.1.9"
test_each_file = "0.3.6"
tonic = "0.14.2"
tonic-prost = "0.14.2"
tonic-prost-build = "0.14.2"
tokio = { default-features = false, version = "1.49.0", features = [
    "rt-multi-thread",
    "macros",
] }
tokio-stream = { default-features = false, version = "0.1" }
tracing = { version = "0.1", features = ["release_max_level_info"] }
tracing-subscriber = "0.3"
transitive = "1.2.0"
vec_map = "0.8"
walkdir = "2.5"
zip = { default-features = false, features = ["deflate"], version = "7.0.0" }
derive_more = { version = "2.1", features = ["display"] }
thiserror = "2"
annotate-snippets = "0.12.10"
idmap = "0.3.5"
compact_str = "0.9.0"

[profile.dev]
opt-level = 0
debug = "line-tables-only" # Keep only the information for backtraces, not debugging (speeds up compilation)

[profile.release]
codegen-units = 8
debug = false     # No debug symbols to keep executables small
lto = "thin"
opt-level = 3
panic = "abort"

# A profile meant for usage in CI, provide reasonable build/execution times. Also enables debug assertions and symbols.
[profile.ci]
inherits = "dev"
opt-level = 3

# A profile meant for profiling in perf, providing all optimizations of release together with debug symbols
[profile.perf]
inherits = "release"
debug = "line-tables-only" # Keep only the information for backtraces, not debugging (speeds up compilation)