chore: release

Signed-off-by: Christoph <98587286+chrjabs@users.noreply.github.com>
chrjabs · Apr 25, 2024 · cbedecf · cbedecf
1 parent eaa96b3
commit cbedecf
Show file tree

Hide file tree

Showing 16 changed files with 198 additions and 17 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,55 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.4.4] - 2024-04-25
+
+### 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
+
+### 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

diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md
@@ -2,6 +2,33 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.5] - 2024-04-25
+
+### 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
+
+### 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
 
 ### Miscellaneous Tasks

diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-cadical"
-version = "0.2.4"
+version = "0.2.5"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 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" }
 

diff --git a/capi/Cargo.toml b/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",
 ] }
 

diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md
@@ -2,6 +2,37 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.5] - 2024-04-25
+
+### 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
+
+### 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

diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-glucose"
-version = "0.2.4"
+version = "0.2.5"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 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" }
 

diff --git a/ipasir/Cargo.toml b/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" }
diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md
@@ -2,6 +2,30 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.1.7] - 2024-04-25
+
+### Documentation
+
+- Add missing documentation
+
+### Features
+
+- Migrate error handling to anyhow create
+- Add `add_clause_ref` method to `Solve` trait
+- `Extend<&Clause>` for solvers
+
+### 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.1.6] - 2024-02-22
 
 ### Miscellaneous Tasks

diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-kissat"
-version = "0.1.6"
+version = "0.1.7"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 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" }
 

diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md
@@ -2,6 +2,38 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.5] - 2024-04-25
+
+### 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
+
+### 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

diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-minisat"
-version = "0.2.4"
+version = "0.2.5"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 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" }
 

diff --git a/pyapi/Cargo.toml b/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",

diff --git a/rustsat/Cargo.toml b/rustsat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat"
-version = "0.4.3"
+version = "0.4.4"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"

diff --git a/solvertests/Cargo.toml b/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"
diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md
@@ -2,6 +2,24 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.5] - 2024-04-25
+
+### 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

diff --git a/tools/Cargo.toml b/tools/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-tools"
-version = "0.2.4"
+version = "0.2.5"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 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" }