diff --git a/CHANGELOG.md b/CHANGELOG.md index bf573c3c..e10dbcf2 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,17 +2,21 @@ All notable changes to this project will be documented in this file. -## [0.6.0] - 2024-06-11 - -### Bug Fixes - -- Make `Node` type opaque +## [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 diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md index 7b0a9169..34779c32 100644 --- a/cadical/CHANGELOG.md +++ b/cadical/CHANGELOG.md @@ -2,7 +2,7 @@ All notable changes to this project will be documented in this file. -## [0.3.1] - 2024-06-11 +## [0.3.1] - 2024-06-12 ### Miscellaneous Tasks diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml index 133ab0dc..17438912 100644 --- a/cadical/Cargo.toml +++ b/cadical/Cargo.toml @@ -41,7 +41,7 @@ v1-9-5 = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.6.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 2f76b9da..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.6.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 8ddcd898..cc515ee6 100644 --- a/glucose/CHANGELOG.md +++ b/glucose/CHANGELOG.md @@ -2,7 +2,7 @@ All notable changes to this project will be documented in this file. -## [0.3.1] - 2024-06-11 +## [0.3.1] - 2024-06-12 ### Miscellaneous Tasks diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml index 9f217cf3..cfc729f4 100644 --- a/glucose/Cargo.toml +++ b/glucose/Cargo.toml @@ -20,7 +20,7 @@ default = ["quiet"] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.6.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 9d19b3d2..1a8cc61d 100644 --- a/ipasir/CHANGELOG.md +++ b/ipasir/CHANGELOG.md @@ -2,7 +2,7 @@ All notable changes to this project will be documented in this file. -## [0.1.1] - 2024-06-11 +## [0.1.1] - 2024-06-12 ### Miscellaneous Tasks diff --git a/ipasir/Cargo.toml b/ipasir/Cargo.toml index a06bcee8..4f74ce9c 100644 --- a/ipasir/Cargo.toml +++ b/ipasir/Cargo.toml @@ -13,6 +13,6 @@ readme = "README.md" [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.6.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 3daf967f..d26fe36c 100644 --- a/kissat/CHANGELOG.md +++ b/kissat/CHANGELOG.md @@ -2,7 +2,7 @@ All notable changes to this project will be documented in this file. -## [0.2.1] - 2024-06-11 +## [0.2.1] - 2024-06-12 ### Miscellaneous Tasks diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml index 7a43c123..f1d123cc 100644 --- a/kissat/Cargo.toml +++ b/kissat/Cargo.toml @@ -26,7 +26,7 @@ sc2022-bulky = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.6.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 673d37fa..82703e48 100644 --- a/minisat/CHANGELOG.md +++ b/minisat/CHANGELOG.md @@ -2,7 +2,7 @@ All notable changes to this project will be documented in this file. -## [0.3.1] - 2024-06-11 +## [0.3.1] - 2024-06-12 ### Miscellaneous Tasks diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml index 370e894b..9fa5dfe5 100644 --- a/minisat/Cargo.toml +++ b/minisat/Cargo.toml @@ -20,7 +20,7 @@ default = ["quiet"] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.6.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 d6863e04..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.6.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 80f1c137..d9c82ff5 100644 --- a/rustsat/Cargo.toml +++ b/rustsat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat" -version = "0.6.0" +version = "0.5.1" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" diff --git a/solvertests/Cargo.toml b/solvertests/Cargo.toml index 4bc96253..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.6.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 2f8a6c08..be2ae042 100644 --- a/tools/CHANGELOG.md +++ b/tools/CHANGELOG.md @@ -2,11 +2,11 @@ All notable changes to this project will be documented in this file. -## [0.3.1] - 2024-06-11 +## [0.3.1] - 2024-06-12 -### Features +### Miscellaneous Tasks -- Incremental precision in DPW +- Updated the following local packages: rustsat ## [0.3.0] - 2024-04-29 diff --git a/tools/Cargo.toml b/tools/Cargo.toml index b1a15c7d..cc863af2 100644 --- a/tools/Cargo.toml +++ b/tools/Cargo.toml @@ -12,7 +12,7 @@ readme = "README.md" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html [dependencies] -rustsat = { version = "0.6.0", path = "../rustsat", features = [ +rustsat = { version = "0.5.1", path = "../rustsat", features = [ "compression", "multiopt", "rand",