chore: release pumpkin-core 0.2.3

Author: maartenflippo

.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"
 }

pumpkin-crates/core/CHANGELOG.md

@@ -1,5 +1,13 @@
 # Changelog
 
+## [0.2.3](https://github.com/ConSol-Lab/Pumpkin/compare/pumpkin-core-v0.2.2...pumpkin-core-v0.2.3) (2025-11-20)
+
+
+### Bug Fixes
+
+* **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))
+
 ## [0.2.2](https://github.com/ConSol-Lab/Pumpkin/compare/pumpkin-core-v0.2.1...pumpkin-core-v0.2.2) (2025-11-10)
 
 

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