From 02e93a4018f64af0359b8021051d84b72e3db004 Mon Sep 17 00:00:00 2001 From: Christoph Jabs <98587286+chrjabs@users.noreply.github.com> Date: Tue, 11 Jun 2024 19:27:11 +0300 Subject: [PATCH] chore: release --- CHANGELOG.md | 20 ++++++++++++++++++++ cadical/CHANGELOG.md | 7 +++++++ cadical/Cargo.toml | 4 ++-- capi/CHANGELOG.md | 4 ++++ capi/Cargo.toml | 4 ++-- glucose/CHANGELOG.md | 7 +++++++ glucose/Cargo.toml | 4 ++-- ipasir/CHANGELOG.md | 7 +++++++ ipasir/Cargo.toml | 4 ++-- kissat/CHANGELOG.md | 7 +++++++ kissat/Cargo.toml | 4 ++-- minisat/CHANGELOG.md | 7 +++++++ minisat/Cargo.toml | 4 ++-- pyapi/CHANGELOG.md | 6 ++++++ pyapi/Cargo.toml | 4 ++-- rustsat/Cargo.toml | 2 +- solvertests/Cargo.toml | 2 +- tools/CHANGELOG.md | 7 +++++++ tools/Cargo.toml | 8 ++++---- 19 files changed, 92 insertions(+), 20 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index a876d106..e10dbcf2 100644 --- 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 + + ## [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 index 813ad61b..34779c32 100644 --- 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 + + ## [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 index 977786ec..17438912 100644 --- 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 "] 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 index 75c5ebfc..2a07ca66 100644 --- 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 index ca67ef73..97b40b0e 100644 --- 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 "] 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 index 7651918a..cc515ee6 100644 --- 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 + + ## [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 index 0c5273ba..cfc729f4 100644 --- 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 "] 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 index 65da3c5d..1a8cc61d 100644 --- 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 + + ## [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 index b77f3d5b..4f74ce9c 100644 --- 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 "] 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 index 13bf508f..d26fe36c 100644 --- 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 + + ## [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 index 32491090..f1d123cc 100644 --- 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 "] 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 index 224993d1..82703e48 100644 --- 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 + + ## [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 index ce2d0076..9fa5dfe5 100644 --- 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 "] 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 index b053d745..ff27a673 100644 --- 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 index e4afd7d3..293aa974 100644 --- 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 "] 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 index e1ca6679..d9c82ff5 100644 --- 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 "] license = "MIT" diff --git a/solvertests/Cargo.toml b/solvertests/Cargo.toml index 0f66ddb1..910e2092 100644 --- 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 index 415f493b..be2ae042 100644 --- 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 + + ## [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 index 275784ca..cc863af2 100644 --- 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 "] 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" }