From 2af9db9912b3c5b655d069c0b4d3fc7870a33fd0 Mon Sep 17 00:00:00 2001 From: Christoph Jabs <98587286+chrjabs@users.noreply.github.com> Date: Thu, 11 Jan 2024 09:14:20 +0000 Subject: [PATCH] chore: release Signed-off-by: Christoph Jabs <98587286+chrjabs@users.noreply.github.com> --- CHANGELOG.md | 13 +++++++++++++ cadical/CHANGELOG.md | 16 ++++++++++++++++ cadical/Cargo.toml | 4 ++-- glucose/CHANGELOG.md | 17 +++++++++++++++++ glucose/Cargo.toml | 4 ++-- kissat/CHANGELOG.md | 8 ++++++++ kissat/Cargo.toml | 4 ++-- minisat/CHANGELOG.md | 16 ++++++++++++++++ minisat/Cargo.toml | 4 ++-- rustsat/Cargo.toml | 6 +++--- tools/CHANGELOG.md | 11 +++++++++++ tools/Cargo.toml | 8 ++++---- 12 files changed, 96 insertions(+), 15 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 6496c6ab..2843cc1b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,19 @@ All notable changes to this project will be documented in this file. +## [0.4.1] - 2024-01-11 + +### Documentation + +- Improve doc examples +- Add shields to READMEs + +### Features + +- Helpful shortcuts in instances and solver +- Index assignments by var and negate ternary vals + + ## [0.4.0] - 2023-12-18 ### Bug Fixes diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md index 82504d1a..1397165e 100644 --- a/cadical/CHANGELOG.md +++ b/cadical/CHANGELOG.md @@ -2,6 +2,22 @@ All notable changes to this project will be documented in this file. +## [0.2.2] - 2024-01-11 + +### Bug Fixes + +- Specify c++ std version in cadical build + +### Documentation + +- Mention broken windows build +- Add shields to READMEs + +### Features + +- Cadical versions 1.9.[3-4] + + ## [0.2.1] - 2023-12-18 ### Features diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml index 8d1151ab..b34abaac 100644 --- a/cadical/Cargo.toml +++ b/cadical/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-cadical" -version = "0.2.1" +version = "0.2.2" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -40,7 +40,7 @@ v1-9-4 = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.4.0", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.1", path = "../rustsat", default-features = false } [build-dependencies] cc = { version = "1.0.83", features = ["parallel"] } diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md index 6a20cfb9..590e3c90 100644 --- a/glucose/CHANGELOG.md +++ b/glucose/CHANGELOG.md @@ -2,6 +2,23 @@ All notable changes to this project will be documented in this file. +## [0.2.2] - 2024-01-11 + +### Bug Fixes + +- Build on non-linux +- Test with minisat by default +- Avoid pthread.h import + +### Documentation + +- Add shields to READMEs + +### Features + +- Debug feature + + ## [0.2.1] - 2023-12-18 ### Miscellaneous Tasks diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml index adf13d67..a57ae2b2 100644 --- a/glucose/Cargo.toml +++ b/glucose/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-glucose" -version = "0.2.1" +version = "0.2.2" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -18,7 +18,7 @@ debug = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.4.0", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.1", path = "../rustsat", default-features = false } [build-dependencies] cc = { version = "1.0.83", features = ["parallel"] } diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md index 233e7ad1..b7be0325 100644 --- a/kissat/CHANGELOG.md +++ b/kissat/CHANGELOG.md @@ -2,6 +2,14 @@ All notable changes to this project will be documented in this file. +## [0.1.4] - 2024-01-11 + +### Documentation + +- Mention broken windows build +- Add shields to READMEs + + ## [0.1.3] - 2023-12-18 ### Miscellaneous Tasks diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml index 29d63bf1..1fca926d 100644 --- a/kissat/Cargo.toml +++ b/kissat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-kissat" -version = "0.1.3" +version = "0.1.4" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -26,7 +26,7 @@ sc2022-bulky = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.4.0", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.1", path = "../rustsat", default-features = false } [build-dependencies] cc = { version = "1.0.83", features = ["parallel"] } diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md index 6a20cfb9..56156418 100644 --- a/minisat/CHANGELOG.md +++ b/minisat/CHANGELOG.md @@ -2,6 +2,22 @@ All notable changes to this project will be documented in this file. +## [0.2.2] - 2024-01-11 + +### Bug Fixes + +- Build on non-linux +- Test with minisat by default + +### Documentation + +- Add shields to READMEs + +### Features + +- Debug feature + + ## [0.2.1] - 2023-12-18 ### Miscellaneous Tasks diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml index 42db3d0c..dd5bdf7f 100644 --- a/minisat/Cargo.toml +++ b/minisat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-minisat" -version = "0.2.1" +version = "0.2.2" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -18,7 +18,7 @@ debug = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.4.0", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.1", path = "../rustsat", default-features = false } [build-dependencies] cc = { version = "1.0.83", features = ["parallel"] } diff --git a/rustsat/Cargo.toml b/rustsat/Cargo.toml index bd846033..b8d6f86c 100644 --- a/rustsat/Cargo.toml +++ b/rustsat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat" -version = "0.4.0" +version = "0.4.1" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -31,8 +31,8 @@ pyo3-build-config = { version = "0.20.0", optional = true } [dev-dependencies] inline-c = "0.1.7" -rustsat-minisat = { version = "0.2.1", path = "../minisat" } -rustsat-tools = { version = "0.2.1", path = "../tools" } +rustsat-minisat = { version = "0.2.2", path = "../minisat" } +rustsat-tools = { version = "0.2.2", path = "../tools" } [features] default = [ diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md index 44df65d2..ee6b9102 100644 --- a/tools/CHANGELOG.md +++ b/tools/CHANGELOG.md @@ -2,6 +2,17 @@ All notable changes to this project will be documented in this file. +## [0.2.2] - 2024-01-11 + +### Bug Fixes + +- Test with minisat by default + +### Documentation + +- Add shields to READMEs + + ## [0.2.1] - 2023-12-18 ### Miscellaneous Tasks diff --git a/tools/Cargo.toml b/tools/Cargo.toml index 21889135..ebfbea7d 100644 --- a/tools/Cargo.toml +++ b/tools/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-tools" -version = "0.2.1" +version = "0.2.2" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -12,9 +12,9 @@ readme = "README.md" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html [dependencies] -rustsat = { version = "0.4.0", path = "../rustsat", features = ["compression", "multiopt", "rand", "internals"] } -rustsat-cadical = { version = "0.2.1", path = "../cadical", optional = true } -rustsat-minisat = { version = "0.2.1", path = "../minisat", optional = true } +rustsat = { version = "0.4.1", path = "../rustsat", features = ["compression", "multiopt", "rand", "internals"] } +rustsat-cadical = { version = "0.2.2", path = "../cadical", optional = true } +rustsat-minisat = { version = "0.2.2", path = "../minisat", optional = true } clap = { version = "4.2.4", features = ["derive", "cargo"] } concolor-clap = { version = "0.1.0" } termcolor = { version = "1.2.0" }