This repository was archived by the owner on Sep 28, 2026. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathCargo.toml
More file actions
34 lines (32 loc) · 1.27 KB
/
Copy pathCargo.toml
File metadata and controls
34 lines (32 loc) · 1.27 KB
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
[workspace]
resolver = "2"
members = ["crates/*"]
[workspace.package]
version = "1.1.0"
edition = "2024"
license = "MIT OR Apache-2.0"
authors = ["hocestnonsatis <anil.oz@icloud.com>"]
repository = "https://github.com/hocestnonsatis/propaga"
homepage = "https://github.com/hocestnonsatis/propaga"
documentation = "https://docs.rs/propaga-core"
readme = "README.md"
keywords = ["constraints", "solver", "propagation", "flatzinc", "cp"]
categories = ["algorithms", "science"]
rust-version = "1.88"
[workspace.dependencies]
slotmap = "1.0"
dyn-clone = "1.0"
rayon = "1.10"
thiserror = "2.0"
priority-queue = "2.1"
clap = { version = "4.5", features = ["derive"] }
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"
propaga-core = { path = "crates/propaga-core", version = "1.1.0" }
propaga-domains = { path = "crates/propaga-domains", version = "1.1.0" }
propaga-engine = { path = "crates/propaga-engine", version = "1.1.0" }
propaga-propagators = { path = "crates/propaga-propagators", version = "1.1.0" }
propaga-search = { path = "crates/propaga-search", version = "1.1.0" }
propaga-model = { path = "crates/propaga-model", version = "1.1.0" }
propaga-flatzinc = { path = "crates/propaga-flatzinc", version = "1.1.0" }
propaga-cli = { path = "crates/propaga-cli", version = "1.1.0" }