chore: release

chrjabs · Aug 6, 2024 · aac2489 · aac2489
1 parent f07d288
commit aac2489
Show file tree

Hide file tree

Showing 10 changed files with 42 additions and 7 deletions.
diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md
@@ -2,6 +2,13 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.3.2] - 2024-08-06
+
+### Miscellaneous Tasks
+
+- Update git2 requirement from 0.18.1 to 0.19.0
+
+<!-- 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.3.2"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"

diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md
@@ -2,6 +2,13 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.3.2] - 2024-08-06
+
+### Miscellaneous Tasks
+
+- Update git2 requirement from 0.18.1 to 0.19.0
+
+<!-- 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 = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"

diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md
@@ -2,6 +2,13 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.2] - 2024-08-06
+
+### Miscellaneous Tasks
+
+- Update git2 requirement from 0.18.1 to 0.19.0
+
+<!-- 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.2.2"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"

diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md
@@ -2,6 +2,13 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.3.2] - 2024-08-06
+
+### Miscellaneous Tasks
+
+- Update git2 requirement from 0.18.1 to 0.19.0
+
+<!-- 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.3.2"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"

diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md
@@ -2,6 +2,13 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.3.2] - 2024-08-06
+
+### Miscellaneous Tasks
+
+- Updated the following local packages: rustsat-minisat, rustsat-cadical
+
+<!-- generated by git-cliff -->
 ## [0.3.1] - 2024-06-12
 
 ### Miscellaneous Tasks

diff --git a/tools/Cargo.toml b/tools/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-tools"
-version = "0.3.1"
+version = "0.3.2"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"
@@ -18,8 +18,8 @@ rustsat = { version = "0.5.1", path = "../rustsat", features = [
   "rand",
   "internals",
 ] }
-rustsat-cadical = { version = "0.3.1", path = "../cadical", optional = true }
-rustsat-minisat = { version = "0.3.1", path = "../minisat", optional = true }
+rustsat-cadical = { version = "0.3.2", path = "../cadical", optional = true }
+rustsat-minisat = { version = "0.3.2", path = "../minisat", optional = true }
 clap = { version = "4.2.4", features = ["derive", "cargo"] }
 concolor-clap = { version = "0.1.0" }
 termcolor = { version = "1.2.0" }