chore: release

Signed-off-by: Christoph <98587286+chrjabs@users.noreply.github.com>
chrjabs · Apr 30, 2024 · 3568fac · 3568fac
1 parent f0135be
commit 3568fac
Show file tree

Hide file tree

Showing 19 changed files with 254 additions and 21 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,57 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.5.0] - 2024-04-30
+
+This release contains breaking changes. For detailed instructions on how to
+handle migration, please refer to the [migration
+guide](https://github.com/chrjabs/rustsat/blob/main/docs/0-5-0-migration-guide.md).
+
+### Bug Fixes
+
+- Incorrect coarse_ub in dpw when unweighted
+- Dynamic polynomial watchdog 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
+- Catch memory out in solvers
+- Catch memory outs in clause collector
+- Parse external solver output
+- `ipasir-display` feature
+
+### Miscellaneous Tasks
+
+- Update to `pyo3` 0.21
+- Specify minimum rust version
+
+### 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
+
+<!-- generated by git-cliff -->
 ## [0.4.3] - 2024-02-22
 
 ### Features

diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md
@@ -2,6 +2,46 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.3.0] - 2024-04-30
+
+The corresponding RustSAT release contains breaking changes. For detailed
+instructions on how to handle migration, please refer to the [migration
+guide](https://github.com/chrjabs/rustsat/blob/main/docs/0-5-0-migration-guide.md).
+
+### 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
+- Add `add_clause_ref` method to `Solve` trait
+- `Extend<&Clause>` for solvers
+- Catch memory out in solvers
+- Catch memory outs in clause collector
+
+### Miscellaneous Tasks
+
+- Cleanup feature-dependent compilation
+
+### 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
+
+### Example
+
+- `cadical-cli` tool
+
+<!-- generated by git-cliff -->
 ## [0.2.4] - 2024-02-22
 
 ### Miscellaneous Tasks

diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-cadical"
-version = "0.2.4"
+version = "0.3.0"
 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.4.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.5.0", 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
@@ -0,0 +1,7 @@
+# Changelog
+
+All notable changes to this project will be documented in this file.
+
+## [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.4.3"
+version = "0.5.0"
 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.4.3", path = "../rustsat", default-features = false, features = [
+rustsat = { version = "0.5.0", path = "../rustsat", default-features = false, features = [
   "internals",
 ] }
 

diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md
@@ -2,6 +2,39 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.3.0] - 2024-04-30
+
+The corresponding RustSAT release contains breaking changes. For detailed
+instructions on how to handle migration, please refer to the [migration
+guide](https://github.com/chrjabs/rustsat/blob/main/docs/0-5-0-migration-guide.md).
+
+### Documentation
+
+- Add missing documentation
+
+### Features
+
+- `quiet` feature to disable `stdout` printing
+- Migrate error handling to `anyhow` create
+- `FreezeVar` trait
+- Return error when assumption is eliminated
+- Add `add_clause_ref` method to `Solve` trait
+- `Extend<&Clause>` for solvers
+- Catch memory out in solvers
+- Catch memory outs in clause collector
+
+### 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
+
+<!-- generated by git-cliff -->
 ## [0.2.4] - 2024-02-22
 
 ### Bug Fixes

diff --git 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 <christoph.jabs@helsinki.fi>"]
 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.5.0", 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,3 +2,6 @@
 
 All notable changes to this project will be documented in this file.
 
+## [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
@@ -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.5.0", 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,39 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.2.0] - 2024-04-30
+
+The corresponding RustSAT release contains breaking changes. For detailed
+instructions on how to handle migration, please refer to the [migration
+guide](https://github.com/chrjabs/rustsat/blob/main/docs/0-5-0-migration-guide.md).
+
+### Documentation
+
+- Add missing documentation
+
+### Features
+
+- Migrate error handling to `anyhow` create
+- Add `add_clause_ref` method to `Solve` trait
+- `Extend<&Clause>` for solvers
+- Allow for abort hooks
+
+### 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
+
+### Example
+
+- `kissat-cli` tool
+
+<!-- generated by git-cliff -->
 ## [0.1.6] - 2024-02-22
 
 ### Miscellaneous Tasks

diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-kissat"
-version = "0.1.6"
+version = "0.2.0"
 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.4.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.5.0", 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,48 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.3.0] - 2024-04-30
+
+The corresponding RustSAT release contains breaking changes. For detailed
+instructions on how to handle migration, please refer to the [migration
+guide](https://github.com/chrjabs/rustsat/blob/main/docs/0-5-0-migration-guide.md).
+
+### Bug Fixes
+
+- Variable freezing and return value 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
+- Return error when assumption is eliminated
+- Add `add_clause_ref` method to `Solve` trait
+- `Extend<&Clause>` for solvers
+- Catch memory out in solvers
+- Catch memory outs in clause collector
+
+### 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
+
+### Example
+
+- `minisat-cli` tool
+
+<!-- generated by git-cliff -->
 ## [0.2.4] - 2024-02-22
 
 ### Bug Fixes

diff --git 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 <christoph.jabs@helsinki.fi>"]
 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.5.0", 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
@@ -0,0 +1,7 @@
+# Changelog
+
+All notable changes to this project will be documented in this file.
+
+## [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.4.3"
+version = "0.5.0"
 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.4.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.5.0", 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.4.3"
+version = "0.5.0"
 edition = "2021"
 authors = ["Christoph Jabs <christoph.jabs@helsinki.fi>"]
 license = "MIT"
@@ -27,8 +27,8 @@ anyhow = { version = "1.0.80" }
 thiserror = { version = "1.0.50" }
 
 [dev-dependencies]
-rustsat-minisat = { version = "0.2", path = "../minisat" }
-rustsat-tools = { version = "0.2", path = "../tools" }
+rustsat-minisat = { version = "0.3", path = "../minisat" }
+rustsat-tools = { version = "0.3", path = "../tools" }
 
 [features]
 default = ["optimization", "fxhash"]

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.4.3", path = "../rustsat", default-features = false }
+rustsat = { version = "0.5.0", path = "../rustsat", default-features = false }
 proc-macro2 = "1.0"