chore: release

chrjabs · Jun 12, 2024 · ff1a3d6 · ff1a3d6
1 parent 07a4197
commit ff1a3d6
Show file tree

Hide file tree

Showing 19 changed files with 92 additions and 20 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,26 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.5.1] - 2024-06-12
+
+### Features
+
+- Incremental precision in DPW
+- Format vars and lits nicely with debug
+
+### Bug Fixes
+
+- Make `Node` type (of `dbtotalizer`) opaque. This is technically a breaking
+  change, but since the `Node` type was never intended to be transparent, we are
+  _not_ treating it as one. If you are relying on having access to the `Node`
+  type, use the feature `internal` instead, but note that the internal API is
+  unstable.
+
+### Testing
+
+- Fix warnings
+
+<!-- generated by git-cliff -->
 ## [0.5.0] - 2024-04-30
 
 This release contains breaking changes. For detailed instructions on how to

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.1] - 2024-06-12
+
+### Miscellaneous Tasks
+
+- Updated the following local packages: rustsat
+
+<!-- generated by git-cliff -->
 ## [0.3.0] - 2024-04-30
 
 The corresponding RustSAT release contains breaking changes. For detailed

diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-cadical"
-version = "0.3.0"
+version = "0.3.1"
 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.5.0", path = "../rustsat", default-features = false }
+rustsat = { version = "0.5.1", path = "../rustsat", default-features = false }
 thiserror = { version = "1.0.57" }
 anyhow = { version = "1.0.80" }
 

diff --git a/capi/CHANGELOG.md b/capi/CHANGELOG.md
@@ -2,6 +2,10 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.5.1] - 2024-06-12
+
+Incrementally adjustable precision for DPW encoding.
+
 ## [0.5.0] - 2024-04-30
 
 Factor C-API out into its own crate.
diff --git a/capi/Cargo.toml b/capi/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-capi"
-version = "0.5.0"
+version = "0.5.1"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"
@@ -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.5.0", path = "../rustsat", default-features = false, features = [
+rustsat = { version = "0.5.1", path = "../rustsat", default-features = false, features = [
   "internals",
 ] }
 

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.1] - 2024-06-12
+
+### Miscellaneous Tasks
+
+- Updated the following local packages: rustsat
+
+<!-- generated by git-cliff -->
 ## [0.3.0] - 2024-04-30
 
 The corresponding RustSAT release contains breaking changes. For detailed

diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-glucose"
-version = "0.3.0"
+version = "0.3.1"
 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.5.0", path = "../rustsat", default-features = false }
+rustsat = { version = "0.5.1", path = "../rustsat", default-features = false }
 thiserror = { version = "1.0.57" }
 anyhow = { version = "1.0.80" }
 

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.1] - 2024-06-12
+
+### Miscellaneous Tasks
+
+- Updated the following local packages: rustsat
+
+<!-- generated by git-cliff -->
 ## [0.1.0] - 2024-04-30
 
 Factor IPASIR API out from RustSAT into its own crate.
diff --git a/ipasir/Cargo.toml b/ipasir/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-ipasir"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"
@@ -13,6 +13,6 @@ readme = "README.md"
 
 [dependencies]
 cpu-time = "1.0.0"
-rustsat = { version = "0.5.0", path = "../rustsat", default-features = false }
+rustsat = { version = "0.5.1", 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,13 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.1] - 2024-06-12
+
+### Miscellaneous Tasks
+
+- Updated the following local packages: rustsat
+
+<!-- generated by git-cliff -->
 ## [0.2.0] - 2024-04-30
 
 The corresponding RustSAT release contains breaking changes. For detailed

diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-kissat"
-version = "0.2.0"
+version = "0.2.1"
 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.5.0", path = "../rustsat", default-features = false }
+rustsat = { version = "0.5.1", 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,13 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.3.1] - 2024-06-12
+
+### Miscellaneous Tasks
+
+- Updated the following local packages: rustsat
+
+<!-- generated by git-cliff -->
 ## [0.3.0] - 2024-04-30
 
 The corresponding RustSAT release contains breaking changes. For detailed

diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-minisat"
-version = "0.3.0"
+version = "0.3.1"
 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.5.0", path = "../rustsat", default-features = false }
+rustsat = { version = "0.5.1", path = "../rustsat", default-features = false }
 thiserror = { version = "1.0.57" }
 anyhow = { version = "1.0.80" }
 

diff --git a/pyapi/CHANGELOG.md b/pyapi/CHANGELOG.md
@@ -2,6 +2,12 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.5.1] - 2024-06-12
+
+### Miscellaneous Tasks
+
+- Updated the following local packages: rustsat
+
 ## [0.5.0] - 2024-04-30
 
 Factor Python API out into its own crate.
diff --git a/pyapi/Cargo.toml b/pyapi/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-pyapi"
-version = "0.5.0"
+version = "0.5.1"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"
@@ -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.5.0", path = "../rustsat", default-features = false }
+rustsat = { version = "0.5.1", 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.5.0"
+version = "0.5.1"
 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.5.0", path = "../rustsat", default-features = false }
+rustsat = { version = "0.5.1", path = "../rustsat", default-features = false }
 proc-macro2 = "1.0"
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.1] - 2024-06-12
+
+### Miscellaneous Tasks
+
+- Updated the following local packages: rustsat
+
+<!-- generated by git-cliff -->
 ## [0.3.0] - 2024-04-29
 
 The corresponding RustSAT release contains breaking changes. For detailed

diff --git a/tools/Cargo.toml b/tools/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-tools"
-version = "0.3.0"
+version = "0.3.1"
 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.5.0", path = "../rustsat", features = [
+rustsat = { version = "0.5.1", path = "../rustsat", features = [
   "compression",
   "multiopt",
   "rand",
   "internals",
 ] }
-rustsat-cadical = { version = "0.3.0", path = "../cadical", optional = true }
-rustsat-minisat = { version = "0.3.0", path = "../minisat", optional = true }
+rustsat-cadical = { version = "0.3.1", path = "../cadical", optional = true }
+rustsat-minisat = { version = "0.3.1", path = "../minisat", optional = true }
 clap = { version = "4.2.4", features = ["derive", "cargo"] }
 concolor-clap = { version = "0.1.0" }
 termcolor = { version = "1.2.0" }