diff --git a/CHANGELOG.md b/CHANGELOG.md index 437c288e..b0295fc7 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,55 @@ All notable changes to this project will be documented in this file. +## [0.4.4] - 2024-04-25 + +### Bug Fixes + +- Incorrect coarse_ub in dpw when unweighted +- Dpw edge cases with < 2 inputs + +### Documentation + +- Clarify lit rep and relation to IPASIR/DIMACS +- Add missing documentation +- Fix broken links + +### Features + +- Migrate error handling to anyhow create +- Move ipasir bindings to separate crate +- Instance ergonomics for member variables +- Ergonomics for opb writing +- Ergonomics for dimacs writing +- Add `add_clause_ref` method to `Solve` trait +- Add `add_nary` function +- Have file parsers take BufRead types +- `Extend<&Clause>` for solvers + +### Miscellaneous Tasks + +- Update to pyo3 0.21 +- Specify minimum rust version +- Clippy + +### Performance + +- Add `BufWriter` when writing to file +- Avoid unnecessary cloning + +### Refactor + +- Clean up control flow in solver methods +- Clean up control flow in dimacs parsing +- Factor out C-API +- Factor out Python API +- Mixed cleanup tasks + +### Testing + +- Simply `TernaryVal` tests + + ## [0.4.3] - 2024-02-22 ### Features diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md index 7b1d2715..08b74fd6 100644 --- a/cadical/CHANGELOG.md +++ b/cadical/CHANGELOG.md @@ -2,6 +2,33 @@ All notable changes to this project will be documented in this file. +## [0.2.5] - 2024-04-25 + +### Documentation + +- Add missing documentation + +### 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 +- Add `add_clause_ref` method to `Solve` trait +- `Extend<&Clause>` for solvers + +### Refactor + +- Clean up control flow in solver methods +- Factor out solver integration tests +- Factor out solver unit tests +- Solver build system + +### Testing + +- Minisat segfault tests + + ## [0.2.4] - 2024-02-22 ### Miscellaneous Tasks diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml index 9afb53af..4a17f3ef 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/capi/Cargo.toml b/capi/Cargo.toml index 8f97933a..fffc063d 100644 --- a/capi/Cargo.toml +++ b/capi/Cargo.toml @@ -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.4.3", path = "../rustsat", default-features = false, features = [ +rustsat = { version = "0.4.4", path = "../rustsat", default-features = false, features = [ "internals", ] } diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md index fb883bd7..be449acb 100644 --- a/glucose/CHANGELOG.md +++ b/glucose/CHANGELOG.md @@ -2,6 +2,37 @@ All notable changes to this project will be documented in this file. +## [0.2.5] - 2024-04-25 + +### Bug Fixes + +- Variable freezing and return val for `var_eliminated` + +### Documentation + +- Add missing documentation + +### 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 +- Add `add_clause_ref` method to `Solve` trait +- `Extend<&Clause>` for solvers + +### Refactor + +- Clean up control flow in solver methods +- Factor out solver integration tests +- Factor out solver unit tests +- Solver build system + +### Testing + +- Minisat segfault tests + + ## [0.2.4] - 2024-02-22 ### Bug Fixes diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml index 8481d335..2a01b70d 100644 --- a/glucose/Cargo.toml +++ b/glucose/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-glucose" -version = "0.2.4" +version = "0.2.5" 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..1f1dc709 100644 --- a/kissat/CHANGELOG.md +++ b/kissat/CHANGELOG.md @@ -2,6 +2,30 @@ All notable changes to this project will be documented in this file. +## [0.1.7] - 2024-04-25 + +### Documentation + +- Add missing documentation + +### Features + +- Migrate error handling to anyhow create +- Add `add_clause_ref` method to `Solve` trait +- `Extend<&Clause>` for solvers + +### Refactor + +- Clean up control flow in solver methods +- Factor out solver integration tests +- Factor out solver unit tests +- Solver build system + +### Testing + +- Minisat segfault tests + + ## [0.1.6] - 2024-02-22 ### Miscellaneous Tasks diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml index b40c0074..03660894 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..14454e64 100644 --- a/minisat/CHANGELOG.md +++ b/minisat/CHANGELOG.md @@ -2,6 +2,38 @@ All notable changes to this project will be documented in this file. +## [0.2.5] - 2024-04-25 + +### Bug Fixes + +- Variable freezing and return val for `var_eliminated` +- Segfault in minisat + +### Documentation + +- Add missing documentation + +### 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 +- Add `add_clause_ref` method to `Solve` trait +- `Extend<&Clause>` for solvers + +### Refactor + +- Clean up control flow in solver methods +- Factor out solver integration tests +- Factor out solver unit tests +- Solver build system + +### Testing + +- Minisat segfault tests + + ## [0.2.4] - 2024-02-22 ### Bug Fixes diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml index ebae177f..43887444 100644 --- a/minisat/Cargo.toml +++ b/minisat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-minisat" -version = "0.2.4" +version = "0.2.5" 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/pyapi/Cargo.toml b/pyapi/Cargo.toml index 793ae8b6..d2dfaf59 100644 --- a/pyapi/Cargo.toml +++ b/pyapi/Cargo.toml @@ -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.4.3", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.4", 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 6236bcb7..46599035 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" diff --git a/solvertests/Cargo.toml b/solvertests/Cargo.toml index 757cc950..32bad543 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.4.3", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.4", path = "../rustsat", default-features = false } proc-macro2 = "1.0" diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md index 940a381e..d3b8293d 100644 --- a/tools/CHANGELOG.md +++ b/tools/CHANGELOG.md @@ -2,6 +2,24 @@ All notable changes to this project will be documented in this file. +## [0.2.5] - 2024-04-25 + +### Documentation + +- Fix broken links + +### Features + +- Instance ergonomics for member variables +- Ergonomics for dimacs writing +- Use anyhow in rustsat-tools +- Have file parsers take BufRead types + +### Refactor + +- Mixed cleanup tasks + + ## [0.2.4] - 2024-02-22 ### Features diff --git a/tools/Cargo.toml b/tools/Cargo.toml index 8dfda761..2dbe1ea6 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.2.5", path = "../minisat", optional = true } clap = { version = "4.2.4", features = ["derive", "cargo"] } concolor-clap = { version = "0.1.0" } termcolor = { version = "1.2.0" }