chore: release

Author: Dekker1

crates/pindakaas/CHANGELOG.md

@@ -7,6 +7,17 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.6.0](https://github.com/pindakaashq/pindakaas/compare/pindakaas-v0.5.1...pindakaas-v0.6.0) - 2026-06-25
+
+### Added
+
+- *(external-propagation)* streamline allocation in ExternalPropagation API
+
+### Other
+
+- *(external-propagation)* remove ReasonBuilder
+- update itertools from 0.14 to 0.15
+
 ## [0.5.1](https://github.com/pindakaashq/pindakaas/compare/pindakaas-v0.5.0...pindakaas-v0.5.1) - 2026-06-09
 
 ### Added

crates/pindakaas/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "pindakaas"
 description = "Encoding Integer and Pseudo Boolean constraints into CNF"
-version = "0.5.1"
+version = "0.6.0"
 
 authors.workspace = true
 edition.workspace = true

crates/pyndakaas/CHANGELOG.md

@@ -7,6 +7,13 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.5.2](https://github.com/pindakaashq/pindakaas/compare/pyndakaas-v0.5.1...pyndakaas-v0.5.2) - 2026-06-25
+
+### Other
+
+- update itertools from 0.14 to 0.15
+- *(deps)* update pyo3 requirement from 0.28.3 to 0.29.0
+
 ## [0.5.1](https://github.com/pindakaashq/pindakaas/compare/pyndakaas-v0.5.0...pyndakaas-v0.5.1) - 2026-06-09
 
 ### Other

crates/pyndakaas/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "pyndakaas"
 description = "Python bindings for the pindakaas crate"
-version = "0.5.1"
+version = "0.5.2"
 edition = "2021"
 
 authors.workspace = true
@@ -17,7 +17,7 @@ crate-type = ["cdylib"]
 
 [dependencies]
 itertools = "0.15"
-pindakaas = { version = "0.5.1", path = "../pindakaas", features = ["kissat"] }
+pindakaas = { version = "0.6.0", path = "../pindakaas", features = ["kissat"] }
 pyo3 = "0.29.0"
 
 [lints]