Skip to content

chore: Release packages #546

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
github-actions wants to merge 1 commit into
base: main
Choose a base branch
from
Open

chore: Release packages #546

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
147 changes: 74 additions & 73 deletions Cargo.lock
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ authors = [
"Konstantin Sidorov",
"Jeff Smits"
] # Ordered alphabetically based on last name!
version = "0.5.0"
version = "0.6.0"

[patch.crates-io]
fnv = { git = "https://github.com/servo/rust-fnv", branch = "main" }
Expand Down
2 changes: 1 addition & 1 deletion fzn-rs-derive/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "fzn-rs-derive"
version = "0.1.2"
version = "0.1.3"
description = "Derive macros for fzn-rs."
repository.workspace = true
edition.workspace = true
Expand Down
6 changes: 6 additions & 0 deletions fzn-rs/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,12 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).


## [0.1.3](https://github.com/ConSol-Lab/Pumpkin/compare/fzn-rs-v0.1.2...fzn-rs-v0.1.3) - 2026-09-22

### Other

- *(deps)* bump convert_case from 0.11.0 to 0.12.0 ([#560](https://github.com/ConSol-Lab/Pumpkin/pull/560))

## [0.1.2](https://github.com/ConSol-Lab/Pumpkin/compare/fzn-rs-v0.1.1...fzn-rs-v0.1.2) - 2026-08-05

### Other
Expand Down
4 changes: 2 additions & 2 deletions fzn-rs/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "fzn-rs"
version = "0.1.2"
version = "0.1.3"
description = "A FlatZinc parser written in Rust."
repository.workspace = true
edition.workspace = true
Expand All @@ -10,7 +10,7 @@ authors.workspace = true
[dependencies]
chumsky = { version = "0.13.0" }
thiserror = "2.0.12"
fzn-rs-derive = { version = "0.1.2", path = "../fzn-rs-derive/" }
fzn-rs-derive = { version = "0.1.3", path = "../fzn-rs-derive/" }

[lints]
workspace = true
6 changes: 6 additions & 0 deletions pumpkin-checker/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,12 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).


## [0.6.0](https://github.com/ConSol-Lab/Pumpkin/compare/pumpkin-checker-v0.5.0...pumpkin-checker-v0.6.0) - 2026-09-22

### Other

- update Cargo.lock dependencies

## [0.5.0](https://github.com/ConSol-Lab/Pumpkin/compare/pumpkin-checker-v0.4.0...pumpkin-checker-v0.5.0) - 2026-08-05

### Fixed
Expand Down
8 changes: 4 additions & 4 deletions pumpkin-checker/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,14 +17,14 @@ exclude = [
]

[dependencies]
pumpkin-core = { version = "0.5.0", path = "../pumpkin-crates/core/" }
pumpkin-checking = { version = "0.5.0", path = "../pumpkin-crates/checking/" }
pumpkin-propagators = { version = "0.5.0", path = "../pumpkin-crates/propagators/" }
pumpkin-core = { version = "0.6.0", path = "../pumpkin-crates/core/" }
pumpkin-checking = { version = "0.6.0", path = "../pumpkin-crates/checking/" }
pumpkin-propagators = { version = "0.6.0", path = "../pumpkin-crates/propagators/" }
anyhow = "1.0.99"
clap = { version = "4.5.47", features = ["derive"] }
drcp-format = { version = "0.3.1", path = "../drcp-format" }
flate2 = "1.1.2"
fzn-rs = { version = "0.1.2", path = "../fzn-rs" }
fzn-rs = { version = "0.1.3", path = "../fzn-rs" }
thiserror = "2.0.16"
fnv = "1.0.7"
derive_more = { version = "2.1.1", features = ["from"] }
Expand Down
2 changes: 1 addition & 1 deletion pumpkin-crates/conflict-resolvers/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,4 +13,4 @@ workspace = true
[dependencies]
itertools = "0.15.0"
log = "0.4.27"
pumpkin-core = { version = "0.5.0", path = "../core" }
pumpkin-core = { version = "0.6.0", path = "../core" }
4 changes: 2 additions & 2 deletions pumpkin-crates/constraints/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,8 +11,8 @@ description = "The constraints of the Pumpkin constraint programming solver."
workspace = true

[dependencies]
pumpkin-core = { version = "0.5.0", path = "../core" }
pumpkin-propagators = { version = "0.5.0", path="../propagators"}
pumpkin-core = { version = "0.6.0", path = "../core" }
pumpkin-propagators = { version = "0.6.0", path="../propagators"}

[features]
clap = ["pumpkin-core/clap", "pumpkin-propagators/clap"]
2 changes: 1 addition & 1 deletion pumpkin-crates/core/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ description = "The core of the Pumpkin constraint programming solver."
workspace = true

[dependencies]
pumpkin-checking = { version = "0.5.0", path = "../checking" }
pumpkin-checking = { version = "0.6.0", path = "../checking" }
thiserror = "2.0.12"
log = "0.4.30"
bitfield = "0.19.4"
Expand Down
4 changes: 2 additions & 2 deletions pumpkin-crates/propagators/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,8 +11,8 @@ description = "The propagators of the Pumpkin constraint programming solver."
workspace = true

[dependencies]
pumpkin-core = { version = "0.5.0", path = "../core" }
pumpkin-checking = { version = "0.5.0", path = "../checking" }
pumpkin-core = { version = "0.6.0", path = "../core" }
pumpkin-checking = { version = "0.6.0", path = "../checking" }
enumset = "1.1.13"
bitfield-struct = "0.13.0"
convert_case = "0.12.0"
Expand Down
8 changes: 4 additions & 4 deletions pumpkin-proof-processor/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,12 +12,12 @@ anyhow = "1.0.99"
clap = { version = "4.5.47", features = ["derive"] }
clap-verbosity-flag = "3.0.4"
drcp-format = { version = "0.3.1", path = "../drcp-format" }
fzn-rs = { version = "0.1.2", path = "../fzn-rs" }
fzn-rs = { version = "0.1.3", path = "../fzn-rs" }
flate2 = { version = "1.1.2" }
env_logger = "0.11.10"
pumpkin-checking = { version = "0.5.0", path = "../pumpkin-crates/checking" }
pumpkin-core = { version = "0.5.0", path = "../pumpkin-crates/core" }
pumpkin-propagators = { version = "0.5.0", path = "../pumpkin-crates/propagators" }
pumpkin-checking = { version = "0.6.0", path = "../pumpkin-crates/checking" }
pumpkin-core = { version = "0.6.0", path = "../pumpkin-crates/core" }
pumpkin-propagators = { version = "0.6.0", path = "../pumpkin-crates/propagators" }
log = "0.4.30"
thiserror = "2.0.18"

Expand Down
6 changes: 3 additions & 3 deletions pumpkin-solver-py/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,9 +17,9 @@ doc = false

[dependencies]
pyo3 = { version = "0.29.0", features= ["extension-module"] }
pumpkin-solver = { version = "0.5.0", path = "../pumpkin-solver" }
pumpkin-constraints = { version = "0.5.0", path = "../pumpkin-crates/constraints", features=["clap"] }
pumpkin-conflict-resolvers = { version = "0.5.0", path = "../pumpkin-crates/conflict-resolvers/"}
pumpkin-solver = { version = "0.6.0", path = "../pumpkin-solver" }
pumpkin-constraints = { version = "0.6.0", path = "../pumpkin-crates/constraints", features=["clap"] }
pumpkin-conflict-resolvers = { version = "0.6.0", path = "../pumpkin-crates/conflict-resolvers/"}

[build-dependencies]
pyo3-build-config = "0.29.0"
24 changes: 24 additions & 0 deletions pumpkin-solver/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,30 @@ All notable changes to this project will be documented in this file.
The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).

## [0.6.0](https://github.com/ConSol-Lab/Pumpkin/compare/pumpkin-solver-v0.5.0...pumpkin-solver-v0.6.0) - 2026-09-22

### Added

- *(pumpkin-solver)* Add pumpkin-checking to export of pumpkin-solver ([#563](https://github.com/ConSol-Lab/Pumpkin/pull/563))
- *(pumpkin-proof-processor)* Minimising number of deductions in trimmed proof by giving marked deductions higher propagation priority ([#523](https://github.com/ConSol-Lab/Pumpkin/pull/523))

### Fixed

- *(pumpkin-propagators)* Synchronisation of time-tabling due to differences in enqueueing ([#545](https://github.com/ConSol-Lab/Pumpkin/pull/545))
- *(pumpkin-propagators)* Disregard zero duration tasks in `Cumulative` ([#579](https://github.com/ConSol-Lab/Pumpkin/pull/579))

### Other

- Mutable references that are unused are now warnings ([#570](https://github.com/ConSol-Lab/Pumpkin/pull/570))
- *(deps)* bump stringcase from 0.4.0 to 1.0.0 ([#556](https://github.com/ConSol-Lab/Pumpkin/pull/556))
- *(pumpkin-core)* Avoid unnecessary allocations ([#573](https://github.com/ConSol-Lab/Pumpkin/pull/573))
- *(deps)* bump convert_case from 0.11.0 to 0.12.0 ([#560](https://github.com/ConSol-Lab/Pumpkin/pull/560))
- *(pumpkin-conflict-resolvers)* Avoid unnecessarily retrieving PredicateId twice ([#574](https://github.com/ConSol-Lab/Pumpkin/pull/574))
- Fix mutable borrow clippy warnings ([#572](https://github.com/ConSol-Lab/Pumpkin/pull/572))
- *(deps)* bump pyo3 from 0.29.1 to 0.29.2 ([#551](https://github.com/ConSol-Lab/Pumpkin/pull/551))
- *(pumpkin-conflict-resolvers)* Remove incorrect check ([#544](https://github.com/ConSol-Lab/Pumpkin/pull/544))
- *(pumpkin-propagators)* Simplify conflict detection incremental updates ([#543](https://github.com/ConSol-Lab/Pumpkin/pull/543))

## [0.5.0](https://github.com/ConSol-Lab/Pumpkin/compare/pumpkin-solver-v0.4.0...pumpkin-solver-v0.5.0) - 2026-08-05

### Added
Expand Down
10 changes: 5 additions & 5 deletions pumpkin-solver/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,11 +13,11 @@ clap = { version = "4.5.17", features = ["derive"] }
env_logger = "0.11.10"
flatzinc = "0.3.21"
log = "0.4.30"
pumpkin-core = { version = "0.5.0", path = "../pumpkin-crates/core/", features = ["clap"] }
pumpkin-constraints = { version = "0.5.0", path = "../pumpkin-crates/constraints/"}
pumpkin-propagators = { version = "0.5.0", path = "../pumpkin-crates/propagators/", features=["clap"]}
pumpkin-conflict-resolvers = { version = "0.5.0", path = "../pumpkin-crates/conflict-resolvers/"}
pumpkin-checking = { version = "0.5.0", path = "../pumpkin-crates/checking/"}
pumpkin-core = { version = "0.6.0", path = "../pumpkin-crates/core/", features = ["clap"] }
pumpkin-constraints = { version = "0.6.0", path = "../pumpkin-crates/constraints/"}
pumpkin-propagators = { version = "0.6.0", path = "../pumpkin-crates/propagators/", features=["clap"]}
pumpkin-conflict-resolvers = { version = "0.6.0", path = "../pumpkin-crates/conflict-resolvers/"}
pumpkin-checking = { version = "0.6.0", path = "../pumpkin-crates/checking/"}
signal-hook = "0.4.4"
thiserror = "2.0.12"

Expand Down