chore: release

CHANGELOG.md

@@ -2,6 +2,57 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.4.4] - 2024-04-26
+
+### Bug Fixes
+
+- Incorrect coarse_ub in dpw when unweighted
+- Dpw edge cases with < 2 inputs
+
+### Documentation
+
+- Clarify lit rep and relation to IPASIR/DIMACS
+- Add missing documentation
+- Fix broken links
+
+### Features
+
+- Migrate error handling to anyhow create
+- Move ipasir bindings to separate crate
+- Instance ergonomics for member variables
+- Ergonomics for opb writing
+- Ergonomics for dimacs writing
+- Add `add_clause_ref` method to `Solve` trait
+- Add `add_nary` function
+- Have file parsers take BufRead types
+- `Extend<&Clause>` for solvers
+- Catch memory out in solvers
+- Catch memory outs in clause collector
+
+### Miscellaneous Tasks
+
+- Update to pyo3 0.21
+- Specify minimum rust version
+- Clippy
+
+### Performance
+
+- Add `BufWriter` when writing to file
+- Avoid unnecessary cloning
+
+### Refactor
+
+- Clean up control flow in solver methods
+- Clean up control flow in dimacs parsing
+- Factor out C-API
+- Factor out Python API
+- Mixed cleanup tasks
+
+### Testing
+
+- Simply `TernaryVal` tests
+
+<!-- generated by git-cliff -->
 ## [0.4.3] - 2024-02-22
 
 ### Features

cadical/CHANGELOG.md

@@ -2,6 +2,43 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.5] - 2024-04-26
+
+### Documentation
+
+- Add missing documentation
+
+### Features
+
+- Cadical version 1.9.5
+- Migrate error handling to anyhow create
+- Exclude ipasir.cpp to avoid conflicts with other linked ipasir libs
+- `FreezeVar` trait for Glucose and Minisat
+- Add `add_clause_ref` method to `Solve` trait
+- `Extend<&Clause>` for solvers
+- Catch memory out in solvers
+- Catch memory outs in clause collector
+
+### Miscellaneous Tasks
+
+- Cleanup feature-dependent compilation
+
+### Refactor
+
+- Clean up control flow in solver methods
+- Factor out solver integration tests
+- Factor out solver unit tests
+- Solver build system
+
+### Testing
+
+- Minisat segfault tests
+
+### Example
+
+- `cadical-cli` tool
+
+<!-- generated by git-cliff -->
 ## [0.2.4] - 2024-02-22
 
 ### Miscellaneous Tasks

cadical/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-cadical"
-version = "0.2.4"
+version = "0.2.5"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"
@@ -41,7 +41,7 @@ v1-9-5 = []
 
 [dependencies]
 cpu-time = "1.0.0"
-rustsat = { version = "0.4.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.4.4", path = "../rustsat", default-features = false }
 thiserror = { version = "1.0.57" }
 anyhow = { version = "1.0.80" }
 

capi/Cargo.toml

@@ -12,7 +12,7 @@ build = "build.rs"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-rustsat = { version = "0.4.3", path = "../rustsat", default-features = false, features = [
+rustsat = { version = "0.4.4", path = "../rustsat", default-features = false, features = [
   "internals",
 ] }
 

glucose/CHANGELOG.md

@@ -2,6 +2,39 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.5] - 2024-04-26
+
+### Bug Fixes
+
+- Variable freezing and return val for `var_eliminated`
+
+### Documentation
+
+- Add missing documentation
+
+### Features
+
+- `quiet` feature to disable stdout printing
+- Migrate error handling to anyhow create
+- `FreezeVar` trait for Glucose and Minisat
+- Return error when assumption is eliminated
+- Add `add_clause_ref` method to `Solve` trait
+- `Extend<&Clause>` for solvers
+- Catch memory out in solvers
+- Catch memory outs in clause collector
+
+### Refactor
+
+- Clean up control flow in solver methods
+- Factor out solver integration tests
+- Factor out solver unit tests
+- Solver build system
+
+### Testing
+
+- Minisat segfault tests
+
+<!-- generated by git-cliff -->
 ## [0.2.4] - 2024-02-22
 
 ### Bug Fixes

glucose/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-glucose"
-version = "0.2.4"
+version = "0.2.5"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"
@@ -20,7 +20,7 @@ default = ["quiet"]
 
 [dependencies]
 cpu-time = "1.0.0"
-rustsat = { version = "0.4.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.4.4", path = "../rustsat", default-features = false }
 thiserror = { version = "1.0.57" }
 anyhow = { version = "1.0.80" }
 

ipasir/Cargo.toml

@@ -13,6 +13,6 @@ readme = "README.md"
 
 [dependencies]
 cpu-time = "1.0.0"
-rustsat = { version = "0.4.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.4.4", path = "../rustsat", default-features = false }
 thiserror = { version = "1.0.57" }
 anyhow = { version = "1.0.80" }

kissat/CHANGELOG.md

@@ -2,6 +2,35 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.1.7] - 2024-04-26
+
+### Documentation
+
+- Add missing documentation
+
+### Features
+
+- Migrate error handling to anyhow create
+- Add `add_clause_ref` method to `Solve` trait
+- `Extend<&Clause>` for solvers
+- Allow for abort hooks
+
+### Refactor
+
+- Clean up control flow in solver methods
+- Factor out solver integration tests
+- Factor out solver unit tests
+- Solver build system
+
+### Testing
+
+- Minisat segfault tests
+
+### Example
+
+- `kissat-cli` tool
+
+<!-- generated by git-cliff -->
 ## [0.1.6] - 2024-02-22
 
 ### Miscellaneous Tasks

kissat/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-kissat"
-version = "0.1.6"
+version = "0.1.7"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"
@@ -26,7 +26,7 @@ sc2022-bulky = []
 
 [dependencies]
 cpu-time = "1.0.0"
-rustsat = { version = "0.4.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.4.4", path = "../rustsat", default-features = false }
 thiserror = { version = "1.0.57" }
 anyhow = { version = "1.0.80" }
 

minisat/CHANGELOG.md

@@ -2,6 +2,44 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.5] - 2024-04-26
+
+### Bug Fixes
+
+- Variable freezing and return val for `var_eliminated`
+- Segfault in minisat
+
+### Documentation
+
+- Add missing documentation
+
+### Features
+
+- `quiet` feature to disable stdout printing
+- Migrate error handling to anyhow create
+- `FreezeVar` trait for Glucose and Minisat
+- Return error when assumption is eliminated
+- Add `add_clause_ref` method to `Solve` trait
+- `Extend<&Clause>` for solvers
+- Catch memory out in solvers
+- Catch memory outs in clause collector
+
+### Refactor
+
+- Clean up control flow in solver methods
+- Factor out solver integration tests
+- Factor out solver unit tests
+- Solver build system
+
+### Testing
+
+- Minisat segfault tests
+
+### Example
+
+- `minisat-cli` tool
+
+<!-- generated by git-cliff -->
 ## [0.2.4] - 2024-02-22
 
 ### Bug Fixes

minisat/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-minisat"
-version = "0.2.4"
+version = "0.2.5"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"
@@ -20,7 +20,7 @@ default = ["quiet"]
 
 [dependencies]
 cpu-time = "1.0.0"
-rustsat = { version = "0.4.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.4.4", path = "../rustsat", default-features = false }
 thiserror = { version = "1.0.57" }
 anyhow = { version = "1.0.80" }
 

pyapi/Cargo.toml

@@ -14,7 +14,7 @@ build = "build.rs"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-rustsat = { version = "0.4.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.4.4", path = "../rustsat", default-features = false }
 pyo3 = { version = "0.21.1", features = [
   "extension-module",
   "abi3",

release-plz.toml

@@ -26,11 +26,6 @@ publish_allow_dirty = false
 # disable running `cargo-semver-checks`
 semver_check = true
 
-[[package]]
-name = "rustsat-ipasir"
-release = false
-git_release_enable = false
-
 [[package]]
 name = "rustsat-solvertests"
 release = false

rustsat/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rustsat"
-version = "0.4.3"
+version = "0.4.4"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"

solvertests/Cargo.toml

@@ -12,5 +12,5 @@ proc-macro = true
 [dependencies]
 syn = "2.0"
 quote = "1.0"
-rustsat = { version = "0.4.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.4.4", path = "../rustsat", default-features = false }
 proc-macro2 = "1.0"

tools/CHANGELOG.md

@@ -2,6 +2,24 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.5] - 2024-04-26
+
+### Documentation
+
+- Fix broken links
+
+### Features
+
+- Instance ergonomics for member variables
+- Ergonomics for dimacs writing
+- Use anyhow in rustsat-tools
+- Have file parsers take BufRead types
+
+### Refactor
+
+- Mixed cleanup tasks
+
+<!-- generated by git-cliff -->
 ## [0.2.4] - 2024-02-22
 
 ### Features

tools/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-tools"
-version = "0.2.4"
+version = "0.2.5"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"
@@ -12,14 +12,14 @@ readme = "README.md"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-rustsat = { version = "0.4.3", path = "../rustsat", features = [
+rustsat = { version = "0.4.4", path = "../rustsat", features = [
   "compression",
   "multiopt",
   "rand",
   "internals",
 ] }
-rustsat-cadical = { version = "0.2.4", path = "../cadical", optional = true }
-rustsat-minisat = { version = "0.2.4", path = "../minisat", optional = true }
+rustsat-cadical = { version = "0.2.5", path = "../cadical", optional = true }
+rustsat-minisat = { version = "0.2.5", path = "../minisat", optional = true }
 clap = { version = "4.2.4", features = ["derive", "cargo"] }
 concolor-clap = { version = "0.1.0" }
 termcolor = { version = "1.2.0" }