chore: release

chrjabs · Dec 20, 2024 · 91a4161 · 91a4161
1 parent c8ab3e1
commit 91a4161
Show file tree

Hide file tree

Showing 22 changed files with 97 additions and 37 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,13 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.6.3] - 2024-12-20
+
+### Miscellaneous Tasks
+
+- Exclude unnecessary files from release
+
+<!-- generated by git-cliff -->
 ## [0.6.2] - 2024-12-13
 
 ### Features

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -40,9 +40,9 @@ thiserror = "2.0.8"
 rand = "0.8.5"
 rand_chacha = "0.3.1"
 rustc-hash = "2.1.0"
-rustsat = { version = "0.6.2", path = "./", default-features = false }
-rustsat-cadical = { version = "0.4.2", path = "./cadical" }
-rustsat-minisat = { version = "0.4.2", path = "./minisat" }
+rustsat = { version = "0.6.3", path = "./", default-features = false }
+rustsat-cadical = { version = "0.4.3", path = "./cadical" }
+rustsat-minisat = { version = "0.4.3", path = "./minisat" }
 rustsat-solvertests = { path = "./solvertests" }
 signal-hook = "0.3.17"
 tempfile = "3.14.0"
@@ -51,7 +51,7 @@ xz2 = "0.1.7"
 
 [package]
 name = "rustsat"
-version = "0.6.2"
+version = "0.6.3"
 edition.workspace = true
 authors = ["Christoph Jabs <[email protected]>"]
 license.workspace = true

diff --git a/batsat/CHANGELOG.md b/batsat/CHANGELOG.md
@@ -2,6 +2,13 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.1.2] - 2024-12-20
+
+### Miscellaneous Tasks
+
+- Exclude unnecessary files from release
+
+<!-- generated by git-cliff -->
 ## [0.1.1] - 2024-12-13
 
 ### Documentation

diff --git a/batsat/Cargo.toml b/batsat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-batsat"
-version = "0.1.1"
+version = "0.1.2"
 edition = "2021"
 authors = ["Noah Bruns <[email protected]>"]
 license = "MIT"

diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md
@@ -2,6 +2,17 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.4.3] - 2024-12-20
+
+### Features
+
+- Version 2.1.1
+
+### Miscellaneous Tasks
+
+- Exclude unnecessary files from release
+
+<!-- generated by git-cliff -->
 ## [0.4.2] - 2024-12-13
 
 ### Documentation

diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-cadical"
-version = "0.4.2"
+version = "0.4.3"
 edition.workspace = true
 authors = ["Christoph Jabs <[email protected]>"]
 license.workspace = true

diff --git a/cadical/README.md b/cadical/README.md
@@ -21,7 +21,7 @@ Armin Biere's SAT solver [CaDiCaL](https://github.com/arminbiere/cadical) to be
 ## CaDiCaL Versions
 
 CaDiCaL versions can be selected via cargo crate features.
-All CaDiCaL versions up to [Version 2.1.0](https://github.com/arminbiere/cadical/releases/tag/rel-2.0.0) are available.
+All CaDiCaL versions up to [Version 2.1.1](https://github.com/arminbiere/cadical/releases/tag/rel-2.1.1) are available.
 For the full list of versions and the changelog see [the CaDiCaL releases](https://github.com/arminbiere/cadical/releases).
 
 Without any features selected, the newest version will be used.

diff --git a/cadical/src/lib.rs b/cadical/src/lib.rs
@@ -14,7 +14,7 @@
 //! ## CaDiCaL Versions
 //!
 //! CaDiCaL versions can be selected via cargo crate features.
-//! All CaDiCaL versions up to [Version 2.1.0](https://github.com/arminbiere/cadical/releases/tag/rel-2.0.0) are available.
+//! All CaDiCaL versions up to [Version 2.1.1](https://github.com/arminbiere/cadical/releases/tag/rel-2.1.1) are available.
 //! For the full list of versions and the changelog see [the CaDiCaL releases](https://github.com/arminbiere/cadical/releases).
 //!
 //! Without any features selected, the newest version will be used.

diff --git a/capi/Cargo.toml b/capi/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-capi"
-version = "0.6.2"
+version = "0.6.3"
 edition.workspace = true
 authors = ["Christoph Jabs <[email protected]>"]
 license.workspace = true

diff --git a/capi/rustsat.h b/capi/rustsat.h
@@ -6,10 +6,10 @@
 #include <stddef.h>
 #include <stdint.h>
 #include <stdlib.h>
-#define RUSTSAT_VERSION 0.6.2
+#define RUSTSAT_VERSION 0.6.3
 #define RUSTSAT_VERSION_MAJOR 0
 #define RUSTSAT_VERSION_MINOR 6
-#define RUSTSAT_VERSION_PATCH 2
+#define RUSTSAT_VERSION_PATCH 3
 
 #ifdef __cplusplus
 namespace RustSAT {

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.5] - 2024-12-20
+
+### Miscellaneous Tasks
+
+- Exclude unnecessary files from release
+
+<!-- generated by git-cliff -->
 ## [0.3.4] - 2024-12-13
 
 ### Documentation

diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-glucose"
-version = "0.3.4"
+version = "0.3.5"
 edition.workspace = true
 authors = ["Christoph Jabs <[email protected]>"]
 license.workspace = true

diff --git a/ipasir/CHANGELOG.md b/ipasir/CHANGELOG.md
@@ -2,6 +2,13 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.1.5] - 2024-12-20
+
+### Miscellaneous Tasks
+
+- Update Cargo.toml dependencies
+
+<!-- generated by git-cliff -->
 ## [0.1.4] - 2024-12-13
 
 ### Documentation

diff --git a/ipasir/Cargo.toml b/ipasir/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-ipasir"
-version = "0.1.4"
+version = "0.1.5"
 edition.workspace = true
 authors = ["Christoph Jabs <[email protected]>"]
 license.workspace = true

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.3.3] - 2024-12-20
+
+### Miscellaneous Tasks
+
+- Exclude unnecessary files from release
+
+<!-- generated by git-cliff -->
 ## [0.3.2] - 2024-12-13
 
 ### Features

diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-kissat"
-version = "0.3.2"
+version = "0.3.3"
 edition.workspace = true
 authors = ["Christoph Jabs <[email protected]>"]
 license.workspace = true

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.4.3] - 2024-12-20
+
+### Miscellaneous Tasks
+
+- Exclude unnecessary files from release
+
+<!-- generated by git-cliff -->
 ## [0.4.2] - 2024-12-13
 
 ### Documentation

diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-minisat"
-version = "0.4.2"
+version = "0.4.3"
 edition.workspace = true
 authors = ["Christoph Jabs <[email protected]>"]
 license.workspace = true

diff --git a/pyapi/Cargo.toml b/pyapi/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-pyapi"
-version = "0.6.2"
+version = "0.6.3"
 edition.workspace = true
 authors = ["Christoph Jabs <[email protected]>"]
 license.workspace = true

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.4.3] - 2024-12-20
+
+### Miscellaneous Tasks
+
+- Exclude unnecessary files from release
+
+<!-- generated by git-cliff -->
 ## [0.4.2] - 2024-12-13
 
 ### Documentation

diff --git a/tools/Cargo.toml b/tools/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-tools"
-version = "0.4.2"
+version = "0.4.3"
 edition.workspace = true
 authors = ["Christoph Jabs <[email protected]>"]
 license.workspace = true