diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md index 34779c32..7b4f7e15 100644 --- a/cadical/CHANGELOG.md +++ b/cadical/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to this project will be documented in this file. +## [0.3.2] - 2024-07-01 + +### Miscellaneous Tasks + +- Update git2 requirement from 0.18.1 to 0.19.0 + + ## [0.3.1] - 2024-06-12 ### Miscellaneous Tasks diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml index fa307e67..246f3c4b 100644 --- a/cadical/Cargo.toml +++ b/cadical/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-cadical" -version = "0.3.1" +version = "0.3.2" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md index cc515ee6..42b75960 100644 --- a/glucose/CHANGELOG.md +++ b/glucose/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to this project will be documented in this file. +## [0.3.2] - 2024-07-01 + +### Miscellaneous Tasks + +- Update git2 requirement from 0.18.1 to 0.19.0 + + ## [0.3.1] - 2024-06-12 ### Miscellaneous Tasks diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml index 5f6c4b33..bc326c53 100644 --- a/glucose/Cargo.toml +++ b/glucose/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-glucose" -version = "0.3.1" +version = "0.3.2" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md index d26fe36c..9ed38d83 100644 --- a/kissat/CHANGELOG.md +++ b/kissat/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to this project will be documented in this file. +## [0.2.2] - 2024-07-01 + +### Miscellaneous Tasks + +- Update git2 requirement from 0.18.1 to 0.19.0 + + ## [0.2.1] - 2024-06-12 ### Miscellaneous Tasks diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml index 5d72fb87..1c1bae0a 100644 --- a/kissat/Cargo.toml +++ b/kissat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-kissat" -version = "0.2.1" +version = "0.2.2" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md index 82703e48..38bfa60c 100644 --- a/minisat/CHANGELOG.md +++ b/minisat/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to this project will be documented in this file. +## [0.3.2] - 2024-07-01 + +### Miscellaneous Tasks + +- Update git2 requirement from 0.18.1 to 0.19.0 + + ## [0.3.1] - 2024-06-12 ### Miscellaneous Tasks diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml index 7fd482c7..c78c19dd 100644 --- a/minisat/Cargo.toml +++ b/minisat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-minisat" -version = "0.3.1" +version = "0.3.2" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md index be2ae042..cdba90c7 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.3.2] - 2024-07-01 + +### Miscellaneous Tasks + +- Updated the following local packages: rustsat-minisat, rustsat-cadical + + ## [0.3.1] - 2024-06-12 ### Miscellaneous Tasks diff --git a/tools/Cargo.toml b/tools/Cargo.toml index cc863af2..b6660d98 100644 --- a/tools/Cargo.toml +++ b/tools/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-tools" -version = "0.3.1" +version = "0.3.2" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -18,8 +18,8 @@ rustsat = { version = "0.5.1", path = "../rustsat", features = [ "rand", "internals", ] } -rustsat-cadical = { version = "0.3.1", path = "../cadical", optional = true } -rustsat-minisat = { version = "0.3.1", path = "../minisat", optional = true } +rustsat-cadical = { version = "0.3.2", path = "../cadical", optional = true } +rustsat-minisat = { version = "0.3.2", path = "../minisat", optional = true } clap = { version = "4.2.4", features = ["derive", "cargo"] } concolor-clap = { version = "0.1.0" } termcolor = { version = "1.2.0" }