diff --git a/CHANGELOG.md b/CHANGELOG.md index 2843cc1b..95bc4928 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,7 @@ All notable changes to this project will be documented in this file. + ## [0.4.1] - 2024-01-11 ### Documentation diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md index 1397165e..20303b74 100644 --- a/cadical/CHANGELOG.md +++ b/cadical/CHANGELOG.md @@ -2,6 +2,7 @@ All notable changes to this project will be documented in this file. + ## [0.2.2] - 2024-01-11 ### Bug Fixes diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml index b34abaac..3d81b5d7 100644 --- a/cadical/Cargo.toml +++ b/cadical/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-cadical" -version = "0.2.2" +version = "0.2.3" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -40,7 +40,7 @@ v1-9-4 = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.4.1", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.2", 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 4af8dc6a..78b421cd 100644 --- a/glucose/CHANGELOG.md +++ b/glucose/CHANGELOG.md @@ -2,6 +2,7 @@ All notable changes to this project will be documented in this file. + ## [0.2.2] - 2024-01-11 ### Bug Fixes diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml index a57ae2b2..6b88f04f 100644 --- a/glucose/Cargo.toml +++ b/glucose/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-glucose" -version = "0.2.2" +version = "0.2.3" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -18,7 +18,7 @@ debug = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.4.1", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.2", 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 b7be0325..4252ccc4 100644 --- a/kissat/CHANGELOG.md +++ b/kissat/CHANGELOG.md @@ -2,6 +2,7 @@ All notable changes to this project will be documented in this file. + ## [0.1.4] - 2024-01-11 ### Documentation diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml index 1fca926d..c249ea35 100644 --- a/kissat/Cargo.toml +++ b/kissat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-kissat" -version = "0.1.4" +version = "0.1.5" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -26,7 +26,7 @@ sc2022-bulky = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.4.1", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.2", 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 0e58ef2b..da6a0978 100644 --- a/minisat/CHANGELOG.md +++ b/minisat/CHANGELOG.md @@ -2,6 +2,7 @@ All notable changes to this project will be documented in this file. + ## [0.2.2] - 2024-01-11 ### Bug Fixes diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml index dd5bdf7f..eeac0b24 100644 --- a/minisat/Cargo.toml +++ b/minisat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-minisat" -version = "0.2.2" +version = "0.2.3" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -18,7 +18,7 @@ debug = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.4.1", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.2", 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 3c2fbdba..3df710f4 100644 --- a/rustsat/Cargo.toml +++ b/rustsat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat" -version = "0.4.1" +version = "0.4.2" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md index 9e3cec19..2d02e692 100644 --- a/tools/CHANGELOG.md +++ b/tools/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to this project will be documented in this file. +## [0.2.3] - 2024-01-11 + +### Miscellaneous Tasks + +- Updated the following local packages: rustsat, rustsat-minisat, rustsat-cadical + + ## [0.2.2] - 2024-01-11 ### Features diff --git a/tools/Cargo.toml b/tools/Cargo.toml index ebfbea7d..a69efb6b 100644 --- a/tools/Cargo.toml +++ b/tools/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-tools" -version = "0.2.2" +version = "0.2.3" 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.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 } +rustsat = { version = "0.4.2", path = "../rustsat", features = ["compression", "multiopt", "rand", "internals"] } +rustsat-cadical = { version = "0.2.3", path = "../cadical", optional = true } +rustsat-minisat = { version = "0.2.3", path = "../minisat", optional = true } clap = { version = "4.2.4", features = ["derive", "cargo"] } concolor-clap = { version = "0.1.0" } termcolor = { version = "1.2.0" }