diff --git a/CHANGELOG.md b/CHANGELOG.md index 437c288e..fab3ac0d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,33 @@ All notable changes to this project will be documented in this file. +## [0.4.4] - 2024-03-28 + +### Bug Fixes + +- Incorrect coarse_ub in dpw when unweighted +- Dpw edge cases with < 2 inputs + +### Documentation + +- Clarify lit rep and relation to IPASIR/DIMACS + +### Features + +- Migrate error handling to anyhow create +- Move ipasir bindings to separate crate + +### Miscellaneous Tasks + +- Update to pyo3 0.21 +- Specify minimum rust version + +### Refactor + +- Clean up control flow in solver methods +- Clean up control flow in dimacs parsing + + ## [0.4.3] - 2024-02-22 ### Features diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md index 7b1d2715..4ebdacbf 100644 --- a/cadical/CHANGELOG.md +++ b/cadical/CHANGELOG.md @@ -2,6 +2,20 @@ All notable changes to this project will be documented in this file. +## [0.2.5] - 2024-03-28 + +### Features + +- Cadical version 1.9.5 +- Migrate error handling to anyhow create +- Exclude ipasir.cpp to avoid conflicts with other linked ipasir libs +- `FreezeVar` trait for Glucose and Minisat + +### Refactor + +- Clean up control flow in solver methods + + ## [0.2.4] - 2024-02-22 ### Miscellaneous Tasks diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml index 8079e9e9..6dc13319 100644 --- a/cadical/Cargo.toml +++ b/cadical/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-cadical" -version = "0.2.4" +version = "0.2.5" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -41,7 +41,7 @@ v1-9-5 = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.4.3", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.4", path = "../rustsat", default-features = false } thiserror = { version = "1.0.57" } anyhow = { version = "1.0.80" } diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md index fb883bd7..6dd4c01c 100644 --- a/glucose/CHANGELOG.md +++ b/glucose/CHANGELOG.md @@ -2,6 +2,24 @@ All notable changes to this project will be documented in this file. +## [0.3.0] - 2024-03-28 + +### Bug Fixes + +- Variable freezing and return val for `var_eliminated` + +### Features + +- `quiet` feature to disable stdout printing +- Migrate error handling to anyhow create +- `FreezeVar` trait for Glucose and Minisat +- Return error when assumption is eliminated + +### Refactor + +- Clean up control flow in solver methods + + ## [0.2.4] - 2024-02-22 ### Bug Fixes diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml index 62879b18..2647a249 100644 --- a/glucose/Cargo.toml +++ b/glucose/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-glucose" -version = "0.2.4" +version = "0.3.0" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -20,7 +20,7 @@ default = ["quiet"] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.4.3", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.4", path = "../rustsat", default-features = false } thiserror = { version = "1.0.57" } anyhow = { version = "1.0.80" } diff --git a/ipasir/Cargo.toml b/ipasir/Cargo.toml index ab859bc1..95600c05 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.4.3", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.4", 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 8dfe5114..888eb543 100644 --- a/kissat/CHANGELOG.md +++ b/kissat/CHANGELOG.md @@ -2,6 +2,17 @@ All notable changes to this project will be documented in this file. +## [0.1.7] - 2024-03-28 + +### Features + +- Migrate error handling to anyhow create + +### Refactor + +- Clean up control flow in solver methods + + ## [0.1.6] - 2024-02-22 ### Miscellaneous Tasks diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml index cf0817c4..9bca083c 100644 --- a/kissat/Cargo.toml +++ b/kissat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-kissat" -version = "0.1.6" +version = "0.1.7" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -26,7 +26,7 @@ sc2022-bulky = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.4.3", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.4", 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 f4175cdf..72fd9483 100644 --- a/minisat/CHANGELOG.md +++ b/minisat/CHANGELOG.md @@ -2,6 +2,24 @@ All notable changes to this project will be documented in this file. +## [0.3.0] - 2024-03-28 + +### Bug Fixes + +- Variable freezing and return val for `var_eliminated` + +### Features + +- `quiet` feature to disable stdout printing +- Migrate error handling to anyhow create +- `FreezeVar` trait for Glucose and Minisat +- Return error when assumption is eliminated + +### Refactor + +- Clean up control flow in solver methods + + ## [0.2.4] - 2024-02-22 ### Bug Fixes diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml index ace5a5b1..c860c62d 100644 --- a/minisat/Cargo.toml +++ b/minisat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-minisat" -version = "0.2.4" +version = "0.3.0" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -20,7 +20,7 @@ default = ["quiet"] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.4.3", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.4", path = "../rustsat", default-features = false } thiserror = { version = "1.0.57" } anyhow = { version = "1.0.80" } diff --git a/rustsat/Cargo.toml b/rustsat/Cargo.toml index c07f4e87..2472ed3c 100644 --- a/rustsat/Cargo.toml +++ b/rustsat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat" -version = "0.4.3" +version = "0.4.4" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -39,7 +39,7 @@ pyo3-build-config = { version = "0.21.0", optional = true } [dev-dependencies] inline-c = "0.1.7" -rustsat-minisat = { version = "0.2", path = "../minisat" } +rustsat-minisat = { version = "0.3", path = "../minisat" } rustsat-tools = { version = "0.2", path = "../tools" } [features] diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md index 940a381e..de95211a 100644 --- a/tools/CHANGELOG.md +++ b/tools/CHANGELOG.md @@ -2,6 +2,7 @@ All notable changes to this project will be documented in this file. + ## [0.2.4] - 2024-02-22 ### Features diff --git a/tools/Cargo.toml b/tools/Cargo.toml index 22c9cc1a..bc358162 100644 --- a/tools/Cargo.toml +++ b/tools/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-tools" -version = "0.2.4" +version = "0.2.5" 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.4.3", path = "../rustsat", features = [ +rustsat = { version = "0.4.4", path = "../rustsat", features = [ "compression", "multiopt", "rand", "internals", ] } -rustsat-cadical = { version = "0.2.4", path = "../cadical", optional = true } -rustsat-minisat = { version = "0.2.4", path = "../minisat", optional = true } +rustsat-cadical = { version = "0.2.5", path = "../cadical", optional = true } +rustsat-minisat = { version = "0.3.0", path = "../minisat", optional = true } clap = { version = "4.2.4", features = ["derive", "cargo"] } concolor-clap = { version = "0.1.0" } termcolor = { version = "1.2.0" }