chore: release

Signed-off-by: Christoph Jabs <[email protected]>
chrjabs · Jan 11, 2024 · 2af9db9 · 2af9db9
1 parent 4fce9b2
commit 2af9db9
Show file tree

Hide file tree

Showing 12 changed files with 96 additions and 15 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,19 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.4.1] - 2024-01-11
+
+### Documentation
+
+- Improve doc examples
+- Add shields to READMEs
+
+### Features
+
+- Helpful shortcuts in instances and solver
+- Index assignments by var and negate ternary vals
+
+<!-- generated by git-cliff -->
 ## [0.4.0] - 2023-12-18
 
 ### Bug Fixes

diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md
@@ -2,6 +2,22 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.2] - 2024-01-11
+
+### Bug Fixes
+
+- Specify c++ std version in cadical build
+
+### Documentation
+
+- Mention broken windows build
+- Add shields to READMEs
+
+### Features
+
+- Cadical versions 1.9.[3-4]
+
+<!-- generated by git-cliff -->
 ## [0.2.1] - 2023-12-18
 
 ### Features

diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-cadical"
-version = "0.2.1"
+version = "0.2.2"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"
@@ -40,7 +40,7 @@ v1-9-4 = []
 
 [dependencies]
 cpu-time = "1.0.0"
-rustsat = { version = "0.4.0", path = "../rustsat", default-features = false }
+rustsat = { version = "0.4.1", path = "../rustsat", default-features = false }
 
 [build-dependencies]
 cc = { version = "1.0.83", features = ["parallel"] }

diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md
@@ -2,6 +2,23 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.2] - 2024-01-11
+
+### Bug Fixes
+
+- Build on non-linux
+- Test with minisat by default
+- Avoid pthread.h import
+
+### Documentation
+
+- Add shields to READMEs
+
+### Features
+
+- Debug feature
+
+<!-- generated by git-cliff -->
 ## [0.2.1] - 2023-12-18
 
 ### Miscellaneous Tasks

diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-glucose"
-version = "0.2.1"
+version = "0.2.2"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"
@@ -18,7 +18,7 @@ debug = []
 
 [dependencies]
 cpu-time = "1.0.0"
-rustsat = { version = "0.4.0", path = "../rustsat", default-features = false }
+rustsat = { version = "0.4.1", path = "../rustsat", default-features = false }
 
 [build-dependencies]
 cc = { version = "1.0.83", features = ["parallel"] }

diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md
@@ -2,6 +2,14 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.1.4] - 2024-01-11
+
+### Documentation
+
+- Mention broken windows build
+- Add shields to READMEs
+
+<!-- generated by git-cliff -->
 ## [0.1.3] - 2023-12-18
 
 ### Miscellaneous Tasks

diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-kissat"
-version = "0.1.3"
+version = "0.1.4"
 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.0", path = "../rustsat", default-features = false }
+rustsat = { version = "0.4.1", path = "../rustsat", default-features = false }
 
 [build-dependencies]
 cc = { version = "1.0.83", features = ["parallel"] }

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.2.2] - 2024-01-11
+
+### Bug Fixes
+
+- Build on non-linux
+- Test with minisat by default
+
+### Documentation
+
+- Add shields to READMEs
+
+### Features
+
+- Debug feature
+
+<!-- generated by git-cliff -->
 ## [0.2.1] - 2023-12-18
 
 ### Miscellaneous Tasks

diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-minisat"
-version = "0.2.1"
+version = "0.2.2"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"
@@ -18,7 +18,7 @@ debug = []
 
 [dependencies]
 cpu-time = "1.0.0"
-rustsat = { version = "0.4.0", path = "../rustsat", default-features = false }
+rustsat = { version = "0.4.1", path = "../rustsat", default-features = false }
 
 [build-dependencies]
 cc = { version = "1.0.83", features = ["parallel"] }

diff --git a/rustsat/Cargo.toml b/rustsat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat"
-version = "0.4.0"
+version = "0.4.1"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"
@@ -31,8 +31,8 @@ pyo3-build-config = { version = "0.20.0", optional = true }
 
 [dev-dependencies]
 inline-c = "0.1.7"
-rustsat-minisat = { version = "0.2.1", path = "../minisat" }
-rustsat-tools = { version = "0.2.1", path = "../tools" }
+rustsat-minisat = { version = "0.2.2", path = "../minisat" }
+rustsat-tools = { version = "0.2.2", path = "../tools" }
 
 [features]
 default = [

diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md
@@ -2,6 +2,17 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.2] - 2024-01-11
+
+### Bug Fixes
+
+- Test with minisat by default
+
+### Documentation
+
+- Add shields to READMEs
+
+<!-- generated by git-cliff -->
 ## [0.2.1] - 2023-12-18
 
 ### Miscellaneous Tasks

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