chore: release

Signed-off-by: Christoph <98587286+chrjabs@users.noreply.github.com>
chrjabs · Mar 28, 2024 · 590fda1 · 590fda1
1 parent 4de2035
commit 590fda1
Show file tree

Hide file tree

Showing 13 changed files with 104 additions and 15 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,33 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.4.4] - 2024-03-28
+
+### Bug Fixes
+
+- Incorrect coarse_ub in dpw when unweighted
+- Dpw edge cases with < 2 inputs
+
+### Documentation
+
+- Clarify lit rep and relation to IPASIR/DIMACS
+
+### Features
+
+- Migrate error handling to anyhow create
+- Move ipasir bindings to separate crate
+
+### Miscellaneous Tasks
+
+- Update to pyo3 0.21
+- Specify minimum rust version
+
+### Refactor
+
+- Clean up control flow in solver methods
+- Clean up control flow in dimacs parsing
+
+<!-- generated by git-cliff -->
 ## [0.4.3] - 2024-02-22
 
 ### Features

diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md
@@ -2,6 +2,20 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.5] - 2024-03-28
+
+### 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
+
+### Refactor
+
+- Clean up control flow in solver methods
+
+<!-- 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/glucose/CHANGELOG.md b/glucose/CHANGELOG.md
@@ -2,6 +2,24 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.3.0] - 2024-03-28
+
+### Bug Fixes
+
+- Variable freezing and return val for `var_eliminated`
+
+### 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
+
+### Refactor
+
+- Clean up control flow in solver methods
+
+<!-- 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.3.0"
 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,17 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.1.7] - 2024-03-28
+
+### Features
+
+- Migrate error handling to anyhow create
+
+### Refactor
+
+- Clean up control flow in solver methods
+
+<!-- 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,24 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.3.0] - 2024-03-28
+
+### Bug Fixes
+
+- Variable freezing and return val for `var_eliminated`
+
+### 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
+
+### Refactor
+
+- Clean up control flow in solver methods
+
+<!-- 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.3.0"
 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/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"
@@ -39,7 +39,7 @@ pyo3-build-config = { version = "0.21.0", optional = true }
 
 [dev-dependencies]
 inline-c = "0.1.7"
-rustsat-minisat = { version = "0.2", path = "../minisat" }
+rustsat-minisat = { version = "0.3", path = "../minisat" }
 rustsat-tools = { version = "0.2", path = "../tools" }
 
 [features]

diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md
@@ -2,6 +2,7 @@
 
 All notable changes to this project will be documented in this file.
 
+<!-- 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.3.0", path = "../minisat", optional = true }
 clap = { version = "4.2.4", features = ["derive", "cargo"] }
 concolor-clap = { version = "0.1.0" }
 termcolor = { version = "1.2.0" }