diff --git a/Cargo.lock b/Cargo.lock index c166d4521..80e135573 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -105,9 +105,9 @@ 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", @@ -182,9 +182,9 @@ dependencies = [ [[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", @@ -211,9 +211,9 @@ checksum = "37b2a672a2cb129a2e41c10b1224bb368f9f37a2b16b612598138befd7b37eb5" [[package]] name = "cc" -version = "1.8.0" +version = "1.9.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6651c9ed80effdc7db0ff72512157f901af5e3549e341e24b1dd4887d836d838" +checksum = "877bf67ac8e52449eb2f9e98a344ea163beb70dd1f9eebe3cc5357dcfeaee4df" dependencies = [ "find-msvc-tools", "shlex", @@ -221,9 +221,9 @@ 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 = "cfg_aliases" @@ -302,9 +302,9 @@ dependencies = [ [[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" @@ -323,18 +323,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.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9481c1c90cbf2ac953f07c8d4a58aa3945c425b7185c9154d67a65e4230da511" +checksum = "0ba106e844045ddc02c20768ac4b0b7cb45f2cc2ecbd833ac9f5dacb183c2055" dependencies = [ "cfg-if", ] @@ -375,9 +375,9 @@ dependencies = [ [[package]] name = "defmt" -version = "1.1.1" +version = "1.2.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e2953bfe4f93bbd20cc71198842756f77d161884c99ebbabc41d80231ded88d1" +checksum = "e4a0795ac740cb54d7b3775c9c17345f6aaecf884c01733b39d6017738e0e3e1" dependencies = [ "bitflags", "defmt-macros", @@ -385,21 +385,21 @@ dependencies = [ [[package]] name = "defmt-macros" -version = "1.1.1" +version = "1.2.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bad9c72e7ca2137e0dc3813245a0d282fd6daad32fd800af018306a9169b5fe8" +checksum = "840bb056bd99c495c9188198a258ab787c79f306d864db3e6e8451442d6d8366" dependencies = [ "defmt-parser", "proc-macro2", "quote", - "syn 2.0.119", + "syn 3.0.9", ] [[package]] name = "defmt-parser" -version = "1.0.0" +version = "1.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "10d60334b3b2e7c9d91ef8150abfb6fa4c1c39ebbcf4a81c2e346aad939fee3e" +checksum = "71958f69fb2de856c5dd51ac9377e986ca1aa5919f931bf5395a807277f889a0" dependencies = [ "thiserror", ] @@ -461,9 +461,9 @@ checksum = "d0881ea181b1df73ff77ffaaf9c7544ecc11e82fba9b5f27b262a3c73a332555" [[package]] name = "either" -version = "1.17.0" +version = "1.19.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9e5e8f6c15a24b9a3ee5efec809ccd006d3b30e8b3bb63c39af737c7f87daa1d" +checksum = "0e9c71c2167ca323c882b99918929403426e2373ea17242ff5653e0d5e1058be" [[package]] name = "enum-map" @@ -531,9 +531,9 @@ dependencies = [ [[package]] name = "equivalent" -version = "1.0.2" +version = "1.0.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" +checksum = "00d174d5400e5e8fd687ad1049e2f578285fa914201b1af7e8b112a4546bd826" [[package]] name = "errno" @@ -558,9 +558,9 @@ dependencies = [ [[package]] name = "find-msvc-tools" -version = "0.1.14" +version = "0.1.15" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "aedcfb3409746eddb02b9e19ebda1c3394f759a152e48ee875a0844d1b955484" +checksum = "1c66915cc5391097de7a2b0b972e8505aa33c0df401fd3a6811dbdb32881ba48" [[package]] name = "flate2" @@ -601,21 +601,21 @@ checksum = "77ce24cb58228fbb8aa041425bb1050850ac19177686ea6e0f41a70416f56fdb" [[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", @@ -625,7 +625,7 @@ dependencies = [ [[package]] name = "fzn-rs" -version = "0.1.2" +version = "0.1.3" dependencies = [ "chumsky", "fzn-rs-derive", @@ -634,7 +634,7 @@ dependencies = [ [[package]] name = "fzn-rs-derive" -version = "0.1.2" +version = "0.1.3" dependencies = [ "convert_case", "fzn-rs", @@ -719,9 +719,9 @@ checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682" [[package]] name = "jiff" -version = "0.2.35" +version = "0.2.38" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "668b7183bd07af9a4885f5c35b0cc5c83c4607a913c16b7e17291832910d2dcc" +checksum = "b2b005715dcbeb0089a3c0dab99f2ff1cc3b2525323552703d648585d342a383" dependencies = [ "defmt", "jiff-core", @@ -734,18 +734,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.38" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3a69dcb3a21cfb32ce1cd056169337ca284af0766dd766e7878819b251a49204" +checksum = "2cc9817253cf7c7ee4684451bd327e88d6f3658014e54a29198625590650695c" dependencies = [ "jiff-core", "proc-macro2", @@ -766,9 +767,9 @@ dependencies = [ [[package]] name = "libc" -version = "0.2.189" +version = "0.2.191" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3eaf3ede3fee6db1a4c2ee091bf8a8b4dccdc6d17f656fb07896ee72867612f2" +checksum = "65cd87c9a6d60536580b316ad985726104730a5151c99845f2490428ef91240a" [[package]] name = "libm" @@ -852,9 +853,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", ] @@ -925,15 +926,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", ] @@ -995,7 +996,7 @@ dependencies = [ [[package]] name = "pumpkin-branching" -version = "0.5.0" +version = "0.6.0" dependencies = [ "enum-map", "log", @@ -1004,7 +1005,7 @@ dependencies = [ [[package]] name = "pumpkin-checker" -version = "0.5.0" +version = "0.6.0" dependencies = [ "anyhow", "assert_cmd", @@ -1022,7 +1023,7 @@ dependencies = [ [[package]] name = "pumpkin-checking" -version = "0.5.0" +version = "0.6.0" dependencies = [ "dyn-clone", "fnv", @@ -1031,7 +1032,7 @@ dependencies = [ [[package]] name = "pumpkin-conflict-resolvers" -version = "0.5.0" +version = "0.6.0" dependencies = [ "itertools", "log", @@ -1040,7 +1041,7 @@ dependencies = [ [[package]] name = "pumpkin-constraints" -version = "0.5.0" +version = "0.6.0" dependencies = [ "pumpkin-core", "pumpkin-propagators", @@ -1048,7 +1049,7 @@ dependencies = [ [[package]] name = "pumpkin-core" -version = "0.5.0" +version = "0.6.0" dependencies = [ "bit-set", "bitfield-struct", @@ -1085,7 +1086,7 @@ dependencies = [ [[package]] name = "pumpkin-proof-processor" -version = "0.5.0" +version = "0.6.0" dependencies = [ "anyhow", "assert_cmd", @@ -1107,7 +1108,7 @@ dependencies = [ [[package]] name = "pumpkin-propagators" -version = "0.5.0" +version = "0.6.0" dependencies = [ "bitfield-struct", "clap", @@ -1119,7 +1120,7 @@ dependencies = [ [[package]] name = "pumpkin-solver" -version = "0.5.0" +version = "0.6.0" dependencies = [ "cc", "clap", @@ -1144,7 +1145,7 @@ dependencies = [ [[package]] name = "pumpkin-solver-py" -version = "0.5.0" +version = "0.6.0" dependencies = [ "pumpkin-branching", "pumpkin-conflict-resolvers", @@ -1466,9 +1467,9 @@ dependencies = [ [[package]] name = "tokio" -version = "1.53.1" +version = "1.54.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "202caea871b69668250d242070849eb495be178ed697a3e98aebce5bc81a0bed" +checksum = "b52fd3255258d26fac7264ab5a76b53c13367136dc011d3d6ad4f8ed070396a3" dependencies = [ "pin-project-lite", ] @@ -1484,9 +1485,9 @@ dependencies = [ [[package]] name = "toml_edit" -version = "0.25.16+spec-1.1.0" +version = "0.25.17+spec-1.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "88f38f3af8bf71841c67a990f4e2b52143b2d0a1a994c72513ff4c14977fc722" +checksum = "e3641d5bbb5349a79e1020a242d251efbc546ad8048d133958323ce9c40a9c9c" dependencies = [ "indexmap", "toml_datetime", @@ -1496,18 +1497,18 @@ dependencies = [ [[package]] name = "toml_parser" -version = "1.1.4+spec-1.1.0" +version = "1.1.5+spec-1.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bed810ee007d8e7f9cf20b4774e7198142fa27186e0f805871da7f3c39eaf333" +checksum = "baa693a8032d7e1cada7d0041e96126df243179ff061456783ac7f12bda4744c" dependencies = [ "winnow 1.0.4", ] [[package]] name = "unicode-ident" -version = "1.0.24" +version = "1.0.27" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75" +checksum = "a2c754d6c33795a1c324727428e5a7dedb5b06195f9890bdbcba760d3e246563" [[package]] name = "unicode-segmentation" @@ -1689,9 +1690,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..4efb9f6cd 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-10-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..4ba93f284 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-10-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/branching/Cargo.toml b/pumpkin-crates/branching/Cargo.toml index a118b6e21..67f8f4843 100644 --- a/pumpkin-crates/branching/Cargo.toml +++ b/pumpkin-crates/branching/Cargo.toml @@ -13,4 +13,4 @@ workspace = true [dependencies] enum-map = "3.1.0" log = "0.4.30" -pumpkin-core = { version = "0.5.0", path = "../core" } +pumpkin-core = { version = "0.6.0", path = "../core" } 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 e9b525dcb..eb1f0bfbf 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" enumset = "1.1.13" 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 46bf95c61..9f95bd3be 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 996a6cabd..1aeba2809 100644 --- a/pumpkin-solver-py/Cargo.toml +++ b/pumpkin-solver-py/Cargo.toml @@ -19,10 +19,10 @@ doc = false [dependencies] pyo3 = { version = "0.30.1", 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-branching = { version = "0.5.0", path = "../pumpkin-crates/branching/"} +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/"} +pumpkin-branching = { version = "0.6.0", path = "../pumpkin-crates/branching/"} [build-dependencies] pyo3-build-config = "0.30.1" diff --git a/pumpkin-solver/CHANGELOG.md b/pumpkin-solver/CHANGELOG.md index 741c86cba..7869745e2 100644 --- a/pumpkin-solver/CHANGELOG.md +++ b/pumpkin-solver/CHANGELOG.md @@ -5,6 +5,47 @@ 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-10-22 + +### Added + +- *(pumpkin-solver)* Automatically generate `.msc` files ([#616](https://github.com/ConSol-Lab/Pumpkin/pull/616)) +- *(pumpkin-solver)* Add pumpkin-checking to export of pumpkin-solver ([#563](https://github.com/ConSol-Lab/Pumpkin/pull/563)) +- *(pumpkin-core)* Improve memory usage of predicate notification system ([#590](https://github.com/ConSol-Lab/Pumpkin/pull/590)) +- *(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-core)* Watchers not properly set when `check-propagations` is on ([#587](https://github.com/ConSol-Lab/Pumpkin/pull/587)) +- *(pumpkin-core)* Do not ignore reification literals in the proof ([#586](https://github.com/ConSol-Lab/Pumpkin/pull/586)) +- *(pumpkin-core)* Underflow in restoring to current decision level ([#592](https://github.com/ConSol-Lab/Pumpkin/pull/592)) +- *(pumpkin-core)* Update last-traversed in nogood propagator ([#576](https://github.com/ConSol-Lab/Pumpkin/pull/576)) +- *(pumpkin-propagators)* Synchronisation of time-tabling due to differences in enqueueing ([#545](https://github.com/ConSol-Lab/Pumpkin/pull/545)) +- *(pumpkin-propagators)* Off-by-one error when checking between profiles in time-tabling ([#621](https://github.com/ConSol-Lab/Pumpkin/pull/621)) +- *(pumpkin-propagators)* Remove the explanation cache from time-table propagator to avoid incorrect explanations ([#620](https://github.com/ConSol-Lab/Pumpkin/pull/620)) +- *(pumpkin-propagators)* Time-table propagator incorrectly not recomputing time-table ([#619](https://github.com/ConSol-Lab/Pumpkin/pull/619)) +- *(pumpkin-propagators)* Disregard zero duration tasks in `Cumulative` ([#579](https://github.com/ConSol-Lab/Pumpkin/pull/579)) + +### Other + +- *(pumpkin-core)* Extracting branchers as separate crate ([#562](https://github.com/ConSol-Lab/Pumpkin/pull/562)) +- Update README.md badges ([#593](https://github.com/ConSol-Lab/Pumpkin/pull/593)) +- 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)* Do not store inference checker when it is not used ([#591](https://github.com/ConSol-Lab/Pumpkin/pull/591)) +- *(pumpkin-core)* Remove unused `permanent_nogood_ids` ([#589](https://github.com/ConSol-Lab/Pumpkin/pull/589)) +- Inherit lints in `pumpkin-solver-py` + fix clippy and deny lints ([#585](https://github.com/ConSol-Lab/Pumpkin/pull/585)) +- *(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)* Make iterative minimisation incremental ([#588](https://github.com/ConSol-Lab/Pumpkin/pull/588)) +- *(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)* Unify the time-table test suite into a single one ([#600](https://github.com/ConSol-Lab/Pumpkin/pull/600)) +- *(deps)* bump cc from 1.5.1 to 1.6.0 ([#602](https://github.com/ConSol-Lab/Pumpkin/pull/602)) +- *(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 e84d2fd53..eb39e5caf 100644 --- a/pumpkin-solver/Cargo.toml +++ b/pumpkin-solver/Cargo.toml @@ -13,12 +13,12 @@ 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-branching = { version = "0.5.0", path = "../pumpkin-crates/branching/"} -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-branching = { version = "0.6.0", path = "../pumpkin-crates/branching/"} +pumpkin-checking = { version = "0.6.0", path = "../pumpkin-crates/checking/"} serde_json = { version = "1.0.151", features = ["preserve_order"] } signal-hook = "0.4.4" thiserror = "2.0.12"