chrjabs · chrjabs · Oct 16, 2024 · Oct 16, 2024 · Oct 16, 2024
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,60 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.6.0] - 2024-10-16
+
+### Features
+
+- External solver interface
+- Batsat solver interface
+- Generalize batsat interface
+- `lit` method for `Var`
+- Implement `Default` for `TernaryVal`
+- `iter` method for `Assignment`
+- `is_sat` for `Cnf` and `Assignment` ergonomics
+- `Propagate` trait
+- `Cl` as light-weight DST for clauses
+- [**breaking**] Add `evaluate`, replacing `is_sat`
+- Add generalized totalizer to capi
+- `Cnf::clear`
+- Ladder at-most-one encoding
+- Bitwise at-most-one encoding
+- Commander at-most-one encoding
+- Bimander at-most-one encoding
+
+### Documentation
+
+- Fix ambiguous links
+- Mark `internals` properly
+- Fix typos
+
+### Miscellaneous Tasks
+
+- Move main crate to project root
+- Pedantic clippy
+- [**breaking**] Breaking clippy suggestions
+- [**breaking**] Rename constraint types
+- Update dependencies
+- Run clippy nightly on prs
+- Update dependencies
+- Clippy with most-recent nightly
+- Set up nix dev shell and tools package
+
+### Refactor
+
+- [**breaking**] Make reading functions take reader by reference
+- Use bindgen to generate solver bindings
+
+### Testing
+
+- Paths relative to manifest
+- Basic kani harnesses for `Var` and `Lit`
+
+### Api
+
+- [**breaking**] Mark unchecked functions as unsafe
+
+<!-- generated by git-cliff -->
 ## [0.5.1] - 2024-06-12
 
 ### Features

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -40,9 +40,9 @@ thiserror = "1.0.63"
 rand = "0.8.5"
 rand_chacha = "0.3.1"
 rustc-hash = "2.0.0"
-rustsat = { version = "0.5.1", path = "./", default-features = false }
-rustsat-cadical = { version = "0.3.1", path = "./cadical" }
-rustsat-minisat = { version = "0.3.1", path = "./minisat" }
+rustsat = { version = "0.6.0", path = "./", default-features = false }
+rustsat-cadical = { version = "0.4.0", path = "./cadical" }
+rustsat-minisat = { version = "0.4.0", path = "./minisat" }
 rustsat-solvertests = { path = "./solvertests" }
 signal-hook = "0.3.17"
 tempfile = "3.12.0"
@@ -51,7 +51,7 @@ xz2 = "0.1.7"
 
 [package]
 name = "rustsat"
-version = "0.5.1"
+version = "0.6.0"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true

diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md
@@ -2,6 +2,43 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.4.0] - 2024-10-16
+
+### Bug Fixes
+
+- Ensure solvers are always linked statically
+- Don't unnecessarily rebuild cadical
+- Accidental double init
+- Use `cargo:` syntax in build script for backwards compatibility
+
+### Documentation
+
+- Describe CPP source customization
+
+### Features
+
+- CaDiCal Versions 2.0.0 and 2.1.0
+- `Propagate` trait
+- Allow applying custom patches
+- Allow specifying custom cpp src directory
+
+### Miscellaneous Tasks
+
+- Fix stray feature reference
+- Pedantic clippy
+- [**breaking**] Breaking clippy suggestions
+
+### Refactor
+
+- [**breaking**] Make reading functions take reader by reference
+- Use bindgen to generate solver bindings
+- Keep patch code in separate files
+
+### Testing
+
+- Add tests for `FlipLit` trait
+
+<!-- generated by git-cliff -->
 ## [0.3.1] - 2024-06-12
 
 ### Miscellaneous Tasks

diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-cadical"
-version = "0.3.1"
+version = "0.4.0"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true

diff --git a/capi/Cargo.toml b/capi/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-capi"
-version = "0.5.1"
+version = "0.6.0"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true

diff --git a/cliff.toml b/cliff.toml
@@ -60,7 +60,7 @@ commit_parsers = [
   { message = "^chore\\(deps\\)", skip = true },
   { message = "^chore\\(pr\\)", skip = true },
   { message = "^chore\\(pull\\)", skip = true },
-  { message = "^chore|ci", group = "Miscellaneous Tasks" },
+  { message = "^chore|ci|misc", group = "Miscellaneous Tasks" },
   { body = ".*security", group = "Security" },
   { message = "^revert", group = "Revert" },
 ]

diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md
@@ -2,6 +2,25 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.3.2] - 2024-10-16
+
+### Bug Fixes
+
+- Ensure solvers are always linked statically
+
+### Features
+
+- `Propagate` trait
+
+### Miscellaneous Tasks
+
+- Pedantic clippy
+
+### Refactor
+
+- Use bindgen to generate solver bindings
+
+<!-- generated by git-cliff -->
 ## [0.3.1] - 2024-06-12
 
 ### Miscellaneous Tasks

diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-glucose"
-version = "0.3.1"
+version = "0.3.2"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true

diff --git a/ipasir/CHANGELOG.md b/ipasir/CHANGELOG.md
@@ -2,6 +2,13 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.1.2] - 2024-10-16
+
+### Miscellaneous Tasks
+
+- Pedantic clippy
+
+<!-- generated by git-cliff -->
 ## [0.1.1] - 2024-06-12
 
 ### Miscellaneous Tasks

diff --git a/ipasir/Cargo.toml b/ipasir/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-ipasir"
-version = "0.1.1"
+version = "0.1.2"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true

diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md
@@ -2,6 +2,27 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.3.0] - 2024-10-16
+
+### Bug Fixes
+
+- Ensure solvers are always linked statically
+
+### Features
+
+- Kissat versions 4.0.0 and 4.0.1
+
+### Miscellaneous Tasks
+
+- Pedantic clippy
+- [**breaking**] Breaking clippy suggestions
+
+### Refactor
+
+- [**breaking**] Make reading functions take reader by reference
+- Use bindgen to generate solver bindings
+
+<!-- generated by git-cliff -->
 ## [0.2.1] - 2024-06-12
 
 ### Miscellaneous Tasks

diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-kissat"
-version = "0.2.1"
+version = "0.3.0"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true

diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md
@@ -2,6 +2,22 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.4.0] - 2024-10-16
+
+### Features
+
+- `Propagate` trait
+
+### Miscellaneous Tasks
+
+- Pedantic clippy
+
+### Refactor
+
+- [**breaking**] Make reading functions take reader by reference
+- Use bindgen to generate solver bindings
+
+<!-- generated by git-cliff -->
 ## [0.3.1] - 2024-06-12
 
 ### Miscellaneous Tasks

diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-minisat"
-version = "0.3.1"
+version = "0.4.0"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true

diff --git a/pyapi/Cargo.toml b/pyapi/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-pyapi"
-version = "0.5.1"
+version = "0.6.0"
 edition.workspace = true
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license.workspace = true

diff --git a/release-plz.toml b/release-plz.toml
@@ -46,8 +46,3 @@ git_release_enable = false
 name = "rustsat-pyapi"
 release = false
 git_release_enable = false
-
-[[package]]
-name = "rustsat-batsat"
-release = false
-git_release_enable = false
diff --git a/scripts/sync-versions.sh b/scripts/sync-versions.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-VERSION=$(grep '^version = "[[:digit:]]\+.[[:digit:]]\+.[[:digit:]]\+"' rustsat/Cargo.toml | cut -d '"' -f2)
+VERSION=$(grep '^version = "[[:digit:]]\+.[[:digit:]]\+.[[:digit:]]\+"' Cargo.toml | cut -d '"' -f2)
 SED_PATTERN="s/^version = \"[[:digit:]]\+.[[:digit:]]\+.[[:digit:]]\+\"$/version = \"${VERSION}\"/g"
 
 # sync C-API version