chore: release (#334)

* chore: release

* chore(capi): update version in header

* chore: sync all rustsat crate versions

resolves #269

* docs: update changelog

---------

Co-authored-by: rustsat-release-plz-bot[bot] <174992831+rustsat-release-plz-bot[bot]@users.noreply.github.com>
Co-authored-by: Christoph Jabs <[email protected]>

Author: rustsat-release-plz-bot[bot]

CHANGELOG.md

@@ -2,6 +2,58 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.7.0] - 2025-04-03
+
+All `rustsat-` crates now follow the version number of the main crate.
+
+### Bug Fixes
+
+- `ReindexingVarManager` map with identity with initialized with next free
+
+### Documentation
+
+- Copy past typos in encoding traits
+- Document crates and features
+- Update shield style
+
+### Features
+
+- Add `Debug` implementations for everything
+- `pigeons` VeriPB library
+- Implement `pigeons` traits for types
+- [**breaking**] More functionality on constraint types
+- Reified cardinality/PB encodings in `atomics`
+- `Initialize` trait
+- `len` and `is_empty` for `Assignment`
+- Certified encoding traits
+- Implement certified encoding traits for simulators
+- Certified `Totalizer` and `GeneralizedTotalizer`
+- Default certified constraint encoders
+- Lower bounding traits for referencing DB totalizers
+- Lower bounding totalizers
+- [**breaking**] `Monotone` trait for encodings
+
+### Miscellaneous Tasks
+
+- Code spell-checking
+- Bump MSRV to `1.75.0`
+- Remove all elements deprecated in 0.6.0 and before
+
+### Performance
+
+- [**breaking**] Remove blanket implementations for both bounding encodings
+
+### Refactor
+
+- [**breaking**] Move totalizer database to separate module
+- [**breaking**] Don't use `anyhow` in encoding API
+- [**breaking**] Remove non-db totalizer encodings
+
+### Testing
+
+- Lower-bounding tests for `DbTotalizer`
+
+<!-- generated by git-cliff -->
 ## [0.6.6] - 2025-03-27
 
 ### Bug Fixes

Cargo.lock

@@ -15,9 +15,10 @@ members = [
 resolver = "2"
 
 [workspace.package]
-version = "0.6.6"
+version = "0.7.0"
 license = "MIT"
 edition = "2021"
+rust-version = "1.75.0" # update the crate documentation if you change this
 
 [workspace.dependencies]
 anyhow = "1.0.97"
@@ -34,15 +35,15 @@ git2 = "0.20.1"
 glob = "0.3.2"
 itertools = "0.14.0"
 nom = "7.1.3"
-pigeons = { version = "0.0.1", path = "./pigeons" }
+pigeons = { version = "0.1.0", path = "./pigeons" }
 termcolor = "1.4.1"
 thiserror = "2.0.12"
 rand = "0.9.0"
 rand_chacha = "0.9.0"
 rustc-hash = "2.1.1"
-rustsat = { version = "0.6.6", path = "./", default-features = false }
-rustsat-cadical = { version = "0.4.6", path = "./cadical" }
-rustsat-minisat = { version = "0.4.6", path = "./minisat" }
+rustsat = { version = "0.7.0", path = "./", default-features = false }
+rustsat-cadical = { version = "0.7.0", path = "./cadical" }
+rustsat-minisat = { version = "0.7.0", path = "./minisat" }
 rustsat-solvertests = { path = "./solvertests" }
 serde = { version = "1.0.219", features = ["derive"] }
 signal-hook = "0.3.17"
@@ -60,7 +61,7 @@ description = "This library aims to provide implementations of elements commonly
 keywords = ["sat", "satisfiability", "encodings"]
 repository = "https://github.com/chrjabs/rustsat"
 readme = "README.md"
-rust-version = "1.75.0" # update the crate documentation if you change this
+rust-version.workspace = true
 include = [
   "LICENSE",
   "CHANGELOG.md",

Cargo.toml

@@ -2,6 +2,19 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.7.0] - 2025-04-03
+
+All `rustsat-` crates now follow the version number of the main crate.
+
+### Documentation
+
+- Update shield style
+
+### Features
+
+- Add `Debug` implementations for everything
+
+<!-- generated by git-cliff -->
 ## [0.1.5] - 2025-03-27
 
 ### Miscellaneous Tasks

batsat/CHANGELOG.md

@@ -1,14 +1,15 @@
 [package]
 name = "rustsat-batsat"
-version = "0.1.5"
-edition = "2021"
+version.workspace = true
+edition.workspace = true
 authors = ["Noah Bruns <[email protected]>"]
-license = "MIT"
+license.workspace = true
 description = "Interface to the SAT solver BatSat for the RustSAT library. BatSat is fully implemented in Rust"
 keywords = ["sat-solver", "rustsat", "batsat"]
 repository = "https://github.com/chrjabs/rustsat"
 readme = "README.md"
 include = ["CHANGELOG.md", "README.md", "/src/"]
+rust-version.workspace = true
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html