From 65731f3f2db5bfc3c7679c54efc57ac0c282f3bf Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Tue, 22 Sep 2026 08:26:14 +0000 Subject: [PATCH] chore: Release packages --- Cargo.lock | 147 ++++++++++--------- Cargo.toml | 2 +- fzn-rs-derive/Cargo.toml | 2 +- fzn-rs/CHANGELOG.md | 6 + fzn-rs/Cargo.toml | 4 +- pumpkin-checker/CHANGELOG.md | 6 + pumpkin-checker/Cargo.toml | 8 +- pumpkin-crates/conflict-resolvers/Cargo.toml | 2 +- pumpkin-crates/constraints/Cargo.toml | 4 +- pumpkin-crates/core/Cargo.toml | 2 +- pumpkin-crates/propagators/Cargo.toml | 4 +- pumpkin-proof-processor/Cargo.toml | 8 +- pumpkin-solver-py/Cargo.toml | 6 +- pumpkin-solver/CHANGELOG.md | 24 +++ pumpkin-solver/Cargo.toml | 10 +- 15 files changed, 136 insertions(+), 99 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 8141d4c57..b308cd54e 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -105,13 +105,13 @@ dependencies = [ [[package]] name = "async-trait" -version = "0.1.91" +version = "0.1.92" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ae36dc4177970ef04fde5178d3e2429882def40e57a451f919c098f72baa6cec" +checksum = "82f6aeea286b8eb4dd3431a1be1b59d290ace00f5bfd8e2a159bc2a05e2c1667" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -137,7 +137,7 @@ checksum = "c0cb6f3d4773a2107b94cbeccaa5b5f0b35a88389b5d522d13d659f64317b22d" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -159,9 +159,9 @@ checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a" [[package]] name = "bstr" -version = "1.13.0" +version = "1.13.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1f7dc094d718f2e1c1559ad110e27eeaae14a5465d3d56dd6dbd793079fbd530" +checksum = "6bb31b46c14244e20ee9984b11bf5c992b91fb6939fea616e3512c8baecdbe5f" dependencies = [ "memchr", "regex-automata", @@ -182,9 +182,9 @@ checksum = "37b2a672a2cb129a2e41c10b1224bb368f9f37a2b16b612598138befd7b37eb5" [[package]] name = "cc" -version = "1.4.6" +version = "1.4.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a3eb0f42d6c360dc3f8a821f6bf2fdea7f72bfd36b3076eb0e6d1e9e0752fff4" +checksum = "54413ede23c2daf518f35156dfde027feb2374004d63bd497f983c8db9c0e313" dependencies = [ "find-msvc-tools", "shlex", @@ -192,15 +192,15 @@ dependencies = [ [[package]] name = "cfg-if" -version = "1.0.4" +version = "1.0.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801" +checksum = "4e7648175b45a9a48536d676f68d918270699102aa8dab5496df06904c914600" [[package]] name = "chacha20" -version = "0.10.1" +version = "0.10.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d524456ba66e72eb8b115ff89e01e497f8e6d11d78b70b1aa13c0fbd97540a81" +checksum = "65c35e4b699c7e15ccbe7ee35c005e4fc0a278d22238a2857e6ce2dadeda1b06" dependencies = [ "cfg-if", "cpufeatures", @@ -223,9 +223,9 @@ dependencies = [ [[package]] name = "clap" -version = "4.6.6" +version = "4.6.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "473c7e07f409a8d772161724aa8db6a765a2532a70f9667eeb7b49d3d02fbdca" +checksum = "aa8876b300ab35ba921adea3dfd70157a46249b33f95c9084ae5709785478946" dependencies = [ "clap_builder", "clap_derive", @@ -243,9 +243,9 @@ dependencies = [ [[package]] name = "clap_builder" -version = "4.6.6" +version = "4.6.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7b48fea5a88e9ae728a2dcbedbfc0e730f7d60da42e1cb049a83c9fb8b789889" +checksum = "ec0797fb7aeb1406c84efac526901f7ec3ead2124f946b494e72879d4b54704d" dependencies = [ "anstream", "anstyle", @@ -255,21 +255,21 @@ dependencies = [ [[package]] name = "clap_derive" -version = "4.6.4" +version = "4.6.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d012d2b9d65aca7f18f4d9878a045bc17899bba951561ba5ec3c2ba1eed9a061" +checksum = "f9c751b79415d4e559e3d1fcf128e09e720eb673a06d26cf6f392d37d75b66e0" dependencies = [ "heck", "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] name = "clap_lex" -version = "1.1.0" +version = "1.1.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c8d4a3bb8b1e0c1050499d1815f5ab16d04f0959b233085fb31653fbfc9d98f9" +checksum = "1c133bc6a41be0d194c306b5506d15e6feeea7b1d6604bd3f8310dfb2ca96486" [[package]] name = "colorchoice" @@ -288,18 +288,18 @@ dependencies = [ [[package]] name = "cpufeatures" -version = "0.3.0" +version = "0.3.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "8b2a41393f66f16b0823bb79094d54ac5fbd34ab292ddafb9a0456ac9f87d201" +checksum = "5ca28b0ae3115b884660db4118d803791fd6756b6e88f39c0f3f7859060d7566" dependencies = [ "libc", ] [[package]] name = "crc32fast" -version = "1.5.0" +version = "1.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9481c1c90cbf2ac953f07c8d4a58aa3945c425b7185c9154d67a65e4230da511" +checksum = "01a7799fd6b852db0e61728dde9a204c423b44d689dbd432522543614b490e78" dependencies = [ "cfg-if", ] @@ -426,9 +426,9 @@ checksum = "d0881ea181b1df73ff77ffaaf9c7544ecc11e82fba9b5f27b262a3c73a332555" [[package]] name = "either" -version = "1.17.0" +version = "1.18.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9e5e8f6c15a24b9a3ee5efec809ccd006d3b30e8b3bb63c39af737c7f87daa1d" +checksum = "252afb9ae5eaa683babdc6a068b3f5726eb19e05070c731f9b2a23a7c3e8ed34" [[package]] name = "enum-map" @@ -447,7 +447,7 @@ checksum = "7127272f64b3e098f7d81f350d672081b879bff896d219c42370dc858b1af9ff" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -523,9 +523,9 @@ dependencies = [ [[package]] name = "find-msvc-tools" -version = "0.1.12" +version = "0.1.13" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3e0f1c7c3a72c66fd80abe965175f7523475c0489a87d3ff9d6e8c87d87a9d2d" +checksum = "ef25905e51abafe4dcea6c15fec58c57b601cdbd0ee53d22ea1d3016c587d39b" [[package]] name = "flate2" @@ -560,21 +560,21 @@ checksum = "d9c4f5dac5e15c24eb999c26181a6ca40b39fe946cbe4c263c7209467bc83af2" [[package]] name = "futures-core" -version = "0.3.33" +version = "0.3.34" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2cd50c473c80f6d7c3670a752354b8e569b1a7cbfdc0419ec88e5edad85e0dc7" +checksum = "92d699e522242e69e3003b94ecc1f960f3a5e015aa7c5d7486e65ad01dd94f5e" [[package]] name = "futures-task" -version = "0.3.33" +version = "0.3.34" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b231ed28831efb4a61a08580c4bc233ec56bc009f4cd8f52da2c3cb97df0c109" +checksum = "cd417de3d1d015fc3bfd2b1ea46dfc7bab72ef86f1cc7cc9c78e728b34a6d1fd" [[package]] name = "futures-util" -version = "0.3.33" +version = "0.3.34" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a77a90a256fce34da66415271e30f94ee91c57b04b8a2c042d9cf3220179deaa" +checksum = "0d50a92467f8ba5dd6e3ee5d4bd04d73ab2e4e1c44474a0674821dfce14b79bc" dependencies = [ "futures-core", "futures-task", @@ -584,7 +584,7 @@ dependencies = [ [[package]] name = "fzn-rs" -version = "0.1.2" +version = "0.1.3" dependencies = [ "chumsky", "fzn-rs-derive", @@ -593,13 +593,13 @@ dependencies = [ [[package]] name = "fzn-rs-derive" -version = "0.1.2" +version = "0.1.3" dependencies = [ "convert_case", "fzn-rs", "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -678,9 +678,9 @@ checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682" [[package]] name = "jiff" -version = "0.2.35" +version = "0.2.37" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "668b7183bd07af9a4885f5c35b0cc5c83c4607a913c16b7e17291832910d2dcc" +checksum = "0ab1baf72f08796de0260609515130699b890ac25f30e610ad894bc5856cafdb" dependencies = [ "defmt", "jiff-core", @@ -693,18 +693,19 @@ dependencies = [ [[package]] name = "jiff-core" -version = "0.1.0" +version = "0.1.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7feca88439efe53da3754500c1851dedf3cb36c524dd5cf8225cc0794de95d09" +checksum = "5e52fe76043ccecc9005d2305ebaadf7d7fc0cc89ca6baa10a94d6bc68c7128c" dependencies = [ "defmt", + "log", ] [[package]] name = "jiff-static" -version = "0.2.35" +version = "0.2.37" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3a69dcb3a21cfb32ce1cd056169337ca284af0766dd766e7878819b251a49204" +checksum = "378268a1116ad67ae6228701118ac9f491d78fda38a40a1f1a9e1348de6f7212" dependencies = [ "jiff-core", "proc-macro2", @@ -811,9 +812,9 @@ dependencies = [ [[package]] name = "num-integer" -version = "0.1.46" +version = "0.1.47" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7969661fd2958a5cb096e56c8e1ad0444ac2bbcd0061bd28660485a44879858f" +checksum = "7ce2d95d4b3734dc35aa2f45e1aa22cd416814592a4f9d9205e11affd5b8e10b" dependencies = [ "num-traits", ] @@ -884,15 +885,15 @@ checksum = "a89322df9ebe1c1578d689c92318e070967d1042b512afbe49518723f4e6d5cd" [[package]] name = "portable-atomic" -version = "1.14.0" +version = "1.15.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3d20d5497ef88037a52ff98267d066e7f11fcc5e99bbfbd58a42336193aacec3" +checksum = "05c8b63e8d9609db387f0324918f81d68fe27748f084ef092fb35954d0539a85" [[package]] name = "portable-atomic-util" -version = "0.2.7" +version = "0.2.8" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c2a106d1259c23fac8e543272398ae0e3c0b8d33c88ed73d0cc71b0f1d902618" +checksum = "10ab3eb7f3becc3a1cbc4f2c6f20267996cfc1a6467a873763411b136a122715" dependencies = [ "portable-atomic", ] @@ -945,7 +946,7 @@ dependencies = [ [[package]] name = "pumpkin-checker" -version = "0.5.0" +version = "0.6.0" dependencies = [ "anyhow", "assert_cmd", @@ -963,7 +964,7 @@ dependencies = [ [[package]] name = "pumpkin-checking" -version = "0.5.0" +version = "0.6.0" dependencies = [ "dyn-clone", "fnv", @@ -972,7 +973,7 @@ dependencies = [ [[package]] name = "pumpkin-conflict-resolvers" -version = "0.5.0" +version = "0.6.0" dependencies = [ "itertools", "log", @@ -981,7 +982,7 @@ dependencies = [ [[package]] name = "pumpkin-constraints" -version = "0.5.0" +version = "0.6.0" dependencies = [ "pumpkin-core", "pumpkin-propagators", @@ -989,7 +990,7 @@ dependencies = [ [[package]] name = "pumpkin-core" -version = "0.5.0" +version = "0.6.0" dependencies = [ "bitfield", "bitfield-struct", @@ -1023,12 +1024,12 @@ dependencies = [ "proc-macro2", "quote", "stringcase", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] name = "pumpkin-proof-processor" -version = "0.5.0" +version = "0.6.0" dependencies = [ "anyhow", "assert_cmd", @@ -1050,7 +1051,7 @@ dependencies = [ [[package]] name = "pumpkin-propagators" -version = "0.5.0" +version = "0.6.0" dependencies = [ "bitfield-struct", "clap", @@ -1062,7 +1063,7 @@ dependencies = [ [[package]] name = "pumpkin-solver" -version = "0.5.0" +version = "0.6.0" dependencies = [ "cc", "clap", @@ -1085,7 +1086,7 @@ dependencies = [ [[package]] name = "pumpkin-solver-py" -version = "0.5.0" +version = "0.6.0" dependencies = [ "pumpkin-conflict-resolvers", "pumpkin-constraints", @@ -1168,9 +1169,9 @@ checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf" [[package]] name = "rand" -version = "0.10.2" +version = "0.10.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c7f5fa3a058cd35567ef9bfa5e75732bee0f9e4c55fa90477bef2dfcdbc4be80" +checksum = "65c9fb96cbc91e3478eaae79a69fcd3f1ae4ad052e471fe6732fff548984b4af" dependencies = [ "chacha20", "getrandom", @@ -1269,7 +1270,7 @@ checksum = "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1361,9 +1362,9 @@ dependencies = [ [[package]] name = "syn" -version = "3.0.5" +version = "3.0.6" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "12df2e0110f65b775f769bb17ef989067a1d931b2eb822bd4346631eeada89f9" +checksum = "8593e8e72159ed2257d083c7a454a85cbf854f37a0966d8d483aff8c8a3ebcee" dependencies = [ "proc-macro2", "quote", @@ -1399,14 +1400,14 @@ checksum = "bc04cd3e1236dd4a98afca4569f2deb3f120e5422a4023be2cb683f8486292af" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] name = "unicode-ident" -version = "1.0.24" +version = "1.0.26" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75" +checksum = "d245f478577f809a851594d02313b640fb437e0bb33866753cff937863096954" [[package]] name = "unicode-segmentation" @@ -1481,7 +1482,7 @@ dependencies = [ "bumpalo", "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", "wasm-bindgen-shared", ] @@ -1524,7 +1525,7 @@ checksum = "8c89dcab8b516b6b603baca9d550b7282d68fcc7f367e3956cff7ebf406a3f12" dependencies = [ "proc-macro2", "quote", - "syn 3.0.5", + "syn 3.0.6", ] [[package]] @@ -1578,9 +1579,9 @@ dependencies = [ [[package]] name = "zlib-rs" -version = "0.6.7" +version = "0.6.8" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "34b31d188d9d685a4f9c7b46d6e36631b07058d2cfe190267adce54dc230bf12" +checksum = "b268e58e7c693d7c271f93ffc4ba3b380412554231c85bf61ca7af91042a4112" [[package]] name = "zmij" diff --git a/Cargo.toml b/Cargo.toml index d11bbf974..7f54e748d 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -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" } diff --git a/fzn-rs-derive/Cargo.toml b/fzn-rs-derive/Cargo.toml index 17a482089..cb0635447 100644 --- a/fzn-rs-derive/Cargo.toml +++ b/fzn-rs-derive/Cargo.toml @@ -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 diff --git a/fzn-rs/CHANGELOG.md b/fzn-rs/CHANGELOG.md index bc74d78cb..0aa1047b5 100644 --- a/fzn-rs/CHANGELOG.md +++ b/fzn-rs/CHANGELOG.md @@ -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 diff --git a/fzn-rs/Cargo.toml b/fzn-rs/Cargo.toml index b1b9688d3..143d45486 100644 --- a/fzn-rs/Cargo.toml +++ b/fzn-rs/Cargo.toml @@ -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 @@ -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 diff --git a/pumpkin-checker/CHANGELOG.md b/pumpkin-checker/CHANGELOG.md index 43dd1aac2..7e78efbc2 100644 --- a/pumpkin-checker/CHANGELOG.md +++ b/pumpkin-checker/CHANGELOG.md @@ -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 diff --git a/pumpkin-checker/Cargo.toml b/pumpkin-checker/Cargo.toml index 3968ab3b4..bf6ba7116 100644 --- a/pumpkin-checker/Cargo.toml +++ b/pumpkin-checker/Cargo.toml @@ -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"] } diff --git a/pumpkin-crates/conflict-resolvers/Cargo.toml b/pumpkin-crates/conflict-resolvers/Cargo.toml index 5ffeaba3b..9bc861323 100644 --- a/pumpkin-crates/conflict-resolvers/Cargo.toml +++ b/pumpkin-crates/conflict-resolvers/Cargo.toml @@ -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" } diff --git a/pumpkin-crates/constraints/Cargo.toml b/pumpkin-crates/constraints/Cargo.toml index e22941bc6..108c0af5a 100644 --- a/pumpkin-crates/constraints/Cargo.toml +++ b/pumpkin-crates/constraints/Cargo.toml @@ -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"] diff --git a/pumpkin-crates/core/Cargo.toml b/pumpkin-crates/core/Cargo.toml index 75192229d..0300829b3 100644 --- a/pumpkin-crates/core/Cargo.toml +++ b/pumpkin-crates/core/Cargo.toml @@ -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" diff --git a/pumpkin-crates/propagators/Cargo.toml b/pumpkin-crates/propagators/Cargo.toml index 63eda94db..d3cfa3dc4 100644 --- a/pumpkin-crates/propagators/Cargo.toml +++ b/pumpkin-crates/propagators/Cargo.toml @@ -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" diff --git a/pumpkin-proof-processor/Cargo.toml b/pumpkin-proof-processor/Cargo.toml index eb7bf1190..6fc08efc4 100644 --- a/pumpkin-proof-processor/Cargo.toml +++ b/pumpkin-proof-processor/Cargo.toml @@ -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" diff --git a/pumpkin-solver-py/Cargo.toml b/pumpkin-solver-py/Cargo.toml index f28f9b3ae..dfbf045bc 100644 --- a/pumpkin-solver-py/Cargo.toml +++ b/pumpkin-solver-py/Cargo.toml @@ -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" diff --git a/pumpkin-solver/CHANGELOG.md b/pumpkin-solver/CHANGELOG.md index 741c86cba..0a211c54c 100644 --- a/pumpkin-solver/CHANGELOG.md +++ b/pumpkin-solver/CHANGELOG.md @@ -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 diff --git a/pumpkin-solver/Cargo.toml b/pumpkin-solver/Cargo.toml index 34cd14ae1..0b0c6ea9a 100644 --- a/pumpkin-solver/Cargo.toml +++ b/pumpkin-solver/Cargo.toml @@ -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"