diff --git a/.release-please-manifest.json b/.release-please-manifest.json index 4880f382d..b5b5b3623 100644 --- a/.release-please-manifest.json +++ b/.release-please-manifest.json @@ -1,5 +1,5 @@ { "pumpkin-solver": "0.2.2", "drcp-format": "0.3.0", - "pumpkin-crates/core": "0.2.2" + "pumpkin-crates/core": "0.2.3" } diff --git a/pumpkin-crates/core/CHANGELOG.md b/pumpkin-crates/core/CHANGELOG.md index 27131cd49..73994345f 100644 --- a/pumpkin-crates/core/CHANGELOG.md +++ b/pumpkin-crates/core/CHANGELOG.md @@ -1,5 +1,30 @@ # Changelog +## [0.2.3](https://github.com/ConSol-Lab/Pumpkin/compare/pumpkin-core-v0.2.2...pumpkin-core-v0.2.3) (2026-01-19) + + +### Features + +* Add interface for nogood minimiser ([#326](https://github.com/ConSol-Lab/Pumpkin/issues/326)) ([911ba41](https://github.com/ConSol-Lab/Pumpkin/commit/911ba41bafdbbf84cc6d276d66c9e79abbef1dcb)) +* Extract propagators into separate crate ([#337](https://github.com/ConSol-Lab/Pumpkin/issues/337)) ([8153051](https://github.com/ConSol-Lab/Pumpkin/commit/8153051b408cd314661d0c6ca4a5837934360ed2)) +* Implement State API ([#319](https://github.com/ConSol-Lab/Pumpkin/issues/319)) ([301551a](https://github.com/ConSol-Lab/Pumpkin/commit/301551ae21fee585448a696e89ed13ec2b7c8156)) +* **pumpkin-core:** Crash if a propagator constructor does not register anything ([#338](https://github.com/ConSol-Lab/Pumpkin/issues/338)) ([29a6068](https://github.com/ConSol-Lab/Pumpkin/commit/29a6068446fc6e32446f4e2c502ba863647c4c80)) +* **pumpkin-core:** Make propagator API public ([#333](https://github.com/ConSol-Lab/Pumpkin/issues/333)) ([babbdd9](https://github.com/ConSol-Lab/Pumpkin/commit/babbdd98dd30591d453c4227bc4f6e44f457fb11)) +* **pumpkin-core:** WebAssembly support for pumpkin-core ([#327](https://github.com/ConSol-Lab/Pumpkin/issues/327)) ([48182a2](https://github.com/ConSol-Lab/Pumpkin/commit/48182a223d611209e214afbeb2ea2f7d87c2c5ca)) +* **pumpkin-core:** WebAssembly support for pumpkin-core ([#327](https://github.com/ConSol-Lab/Pumpkin/issues/327)) ([1d2e411](https://github.com/ConSol-Lab/Pumpkin/commit/1d2e4114d0e06b50516cdb69f38f924ab2f078c8)) +* **pumpkin-solver-py:** Add incrementality to python interface ([#315](https://github.com/ConSol-Lab/Pumpkin/issues/315)) ([cb017a7](https://github.com/ConSol-Lab/Pumpkin/commit/cb017a76ae0b4090da5c4b0c9d1d8b80842a9955)) +* **pumpkin-solver-py:** Support warm starting for optimisation models ([#344](https://github.com/ConSol-Lab/Pumpkin/issues/344)) ([04e6b96](https://github.com/ConSol-Lab/Pumpkin/commit/04e6b963c2bcebb0b179966f903c626912dbee5f)) + + +### Bug Fixes + +* Generate constraint tags via State ([#335](https://github.com/ConSol-Lab/Pumpkin/issues/335)) ([15239c4](https://github.com/ConSol-Lab/Pumpkin/commit/15239c4df4b69587a258c8d674a406da9d76e11a)) +* Off-by-one error when explaining empty domain conflict ([#322](https://github.com/ConSol-Lab/Pumpkin/issues/322)) ([c3739c4](https://github.com/ConSol-Lab/Pumpkin/commit/c3739c427406f8f46a743c35233664028318f73f)), closes [#321](https://github.com/ConSol-Lab/Pumpkin/issues/321) +* **pumpkin-core:** Allow propagators to register for predicates becoming true ([#331](https://github.com/ConSol-Lab/Pumpkin/issues/331)) ([0f63882](https://github.com/ConSol-Lab/Pumpkin/commit/0f6388260695ad923856819f2e2728669b6d870b)) +* **pumpkin-core:** Declare solving after conflict resolution ([#317](https://github.com/ConSol-Lab/Pumpkin/issues/317)) ([4824567](https://github.com/ConSol-Lab/Pumpkin/commit/48245670d15bceeea843194213949da83a6509ab)) +* **pumpkin-core:** Don't use binary equality when logging proof ([#320](https://github.com/ConSol-Lab/Pumpkin/issues/320)) ([f528527](https://github.com/ConSol-Lab/Pumpkin/commit/f528527bf51f73c8dcf05d77d308ff6b16e6a53b)) +* Sign error in greater_than constraint ([#334](https://github.com/ConSol-Lab/Pumpkin/issues/334)) ([27b8c83](https://github.com/ConSol-Lab/Pumpkin/commit/27b8c839431af275e8bec082692d69ce6e8a5cb9)) + ## [0.2.2](https://github.com/ConSol-Lab/Pumpkin/compare/pumpkin-core-v0.2.1...pumpkin-core-v0.2.2) (2025-11-10) diff --git a/pumpkin-crates/core/Cargo.toml b/pumpkin-crates/core/Cargo.toml index 94d304d59..a47594c2d 100644 --- a/pumpkin-crates/core/Cargo.toml +++ b/pumpkin-crates/core/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "pumpkin-core" -version = "0.2.2" +version = "0.2.3" repository.workspace = true edition.workspace = true license.workspace = true