diff --git a/CHANGELOG.md b/CHANGELOG.md index db51e060..d684638f 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to this project will be documented in this file. +## [0.6.3] - 2024-12-19 + +### Miscellaneous Tasks + +- Exclude unnecessary files from release + + ## [0.6.2] - 2024-12-13 ### Features diff --git a/Cargo.lock b/Cargo.lock index aa1465e6..80babde9 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -230,9 +230,9 @@ dependencies = [ [[package]] name = "cc" -version = "1.2.3" +version = "1.2.4" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "27f657647bcff5394bf56c7317665bbf790a137a50eaaa5c6bfbb9e27a518f2d" +checksum = "9157bbaa6b165880c27a4293a474c91cdcf265cc68cc829bf10be0964a391caf" dependencies = [ "jobserver", "libc", @@ -808,9 +808,9 @@ checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe" [[package]] name = "libc" -version = "0.2.168" +version = "0.2.169" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5aaeb2981e0606ca11d79718f8bb01164f1d6ed75080182d3abf017e6d244b6d" +checksum = "b5aba8db14291edd000dfcc4d620c7ebfb122c613afb886ca8803fa4e128a20a" [[package]] name = "libgit2-sys" @@ -924,9 +924,9 @@ checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a" [[package]] name = "miniz_oxide" -version = "0.8.0" +version = "0.8.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e2d80299ef12ff69b16a84bb182e3b9df68b5a91574d3d4fa6e41b65deec4df1" +checksum = "4ffbe83022cedc1d264172192511ae958937694cd57ce297164951b8b3568394" dependencies = [ "adler2", ] @@ -1234,7 +1234,7 @@ dependencies = [ [[package]] name = "rustsat" -version = "0.6.2" +version = "0.6.3" dependencies = [ "anyhow", "bzip2", @@ -1255,7 +1255,7 @@ dependencies = [ [[package]] name = "rustsat-batsat" -version = "0.1.1" +version = "0.1.2" dependencies = [ "anyhow", "batsat", @@ -1267,7 +1267,7 @@ dependencies = [ [[package]] name = "rustsat-cadical" -version = "0.4.2" +version = "0.4.3" dependencies = [ "anyhow", "bindgen", @@ -1294,7 +1294,7 @@ dependencies = [ [[package]] name = "rustsat-glucose" -version = "0.3.4" +version = "0.3.5" dependencies = [ "anyhow", "bindgen", @@ -1307,7 +1307,7 @@ dependencies = [ [[package]] name = "rustsat-ipasir" -version = "0.1.4" +version = "0.1.5" dependencies = [ "anyhow", "cpu-time", @@ -1317,7 +1317,7 @@ dependencies = [ [[package]] name = "rustsat-kissat" -version = "0.3.2" +version = "0.3.3" dependencies = [ "anyhow", "bindgen", @@ -1335,7 +1335,7 @@ dependencies = [ [[package]] name = "rustsat-minisat" -version = "0.4.2" +version = "0.4.3" dependencies = [ "anyhow", "bindgen", @@ -1369,7 +1369,7 @@ dependencies = [ [[package]] name = "rustsat-tools" -version = "0.4.2" +version = "0.4.3" dependencies = [ "anyhow", "atty", @@ -1557,18 +1557,18 @@ checksum = "3369f5ac52d5eb6ab48c6b4ffdc8efbcad6b89c765749064ba298f2c68a16a76" [[package]] name = "thiserror" -version = "2.0.6" +version = "2.0.8" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "8fec2a1820ebd077e2b90c4df007bebf344cd394098a13c563957d0afc83ea47" +checksum = "08f5383f3e0071702bf93ab5ee99b52d26936be9dedd9413067cbdcddcb6141a" dependencies = [ "thiserror-impl", ] [[package]] name = "thiserror-impl" -version = "2.0.6" +version = "2.0.8" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d65750cab40f4ff1929fb1ba509e9914eb756131cef4210da8d5d700d26f6312" +checksum = "f2f357fcec90b3caef6623a099691be676d033b40a058ac95d2a6ade6fa0c943" dependencies = [ "proc-macro2", "quote", diff --git a/Cargo.toml b/Cargo.toml index 7ae3d174..c5bd5315 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -40,9 +40,9 @@ thiserror = "2.0.6" rand = "0.8.5" rand_chacha = "0.3.1" rustc-hash = "2.1.0" -rustsat = { version = "0.6.2", path = "./", default-features = false } -rustsat-cadical = { version = "0.4.2", path = "./cadical" } -rustsat-minisat = { version = "0.4.2", path = "./minisat" } +rustsat = { version = "0.6.3", path = "./", default-features = false } +rustsat-cadical = { version = "0.4.3", path = "./cadical" } +rustsat-minisat = { version = "0.4.3", path = "./minisat" } rustsat-solvertests = { path = "./solvertests" } signal-hook = "0.3.17" tempfile = "3.14.0" @@ -51,7 +51,7 @@ xz2 = "0.1.7" [package] name = "rustsat" -version = "0.6.2" +version = "0.6.3" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/batsat/CHANGELOG.md b/batsat/CHANGELOG.md index b197d589..c7510dc4 100644 --- a/batsat/CHANGELOG.md +++ b/batsat/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to this project will be documented in this file. +## [0.1.2] - 2024-12-19 + +### Miscellaneous Tasks + +- Exclude unnecessary files from release + + ## [0.1.1] - 2024-12-13 ### Documentation diff --git a/batsat/Cargo.toml b/batsat/Cargo.toml index f130ba24..d70bc2c5 100644 --- a/batsat/Cargo.toml +++ b/batsat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-batsat" -version = "0.1.1" +version = "0.1.2" edition = "2021" authors = ["Noah Bruns "] license = "MIT" diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md index 1c2616d7..ca152d37 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.4.3] - 2024-12-19 + +### Miscellaneous Tasks + +- Exclude unnecessary files from release + + ## [0.4.2] - 2024-12-13 ### Documentation diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml index 2e20c59f..60480653 100644 --- a/cadical/Cargo.toml +++ b/cadical/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-cadical" -version = "0.4.2" +version = "0.4.3" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md index adff50f5..ce8df928 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.5] - 2024-12-19 + +### Miscellaneous Tasks + +- Exclude unnecessary files from release + + ## [0.3.4] - 2024-12-13 ### Documentation diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml index 8d193db1..04e2bc9f 100644 --- a/glucose/Cargo.toml +++ b/glucose/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-glucose" -version = "0.3.4" +version = "0.3.5" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/ipasir/CHANGELOG.md b/ipasir/CHANGELOG.md index 747c3a48..fe617e04 100644 --- a/ipasir/CHANGELOG.md +++ b/ipasir/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to this project will be documented in this file. +## [0.1.5] - 2024-12-19 + +### Miscellaneous Tasks + +- Updated the following local packages: rustsat + + ## [0.1.4] - 2024-12-13 ### Documentation diff --git a/ipasir/Cargo.toml b/ipasir/Cargo.toml index 8ef67fab..09fcbaed 100644 --- a/ipasir/Cargo.toml +++ b/ipasir/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-ipasir" -version = "0.1.4" +version = "0.1.5" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md index e3fb16e3..ab8a8b57 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.3.3] - 2024-12-19 + +### Miscellaneous Tasks + +- Exclude unnecessary files from release + + ## [0.3.2] - 2024-12-13 ### Features diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml index 9837826e..6e49e676 100644 --- a/kissat/Cargo.toml +++ b/kissat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-kissat" -version = "0.3.2" +version = "0.3.3" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md index f4a8d4f1..655d4126 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.4.3] - 2024-12-19 + +### Miscellaneous Tasks + +- Exclude unnecessary files from release + + ## [0.4.2] - 2024-12-13 ### Documentation diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml index 2de39d08..0d46b4c4 100644 --- a/minisat/Cargo.toml +++ b/minisat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-minisat" -version = "0.4.2" +version = "0.4.3" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md index 19da3463..92978d2c 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.4.3] - 2024-12-19 + +### Miscellaneous Tasks + +- Exclude unnecessary files from release + + ## [0.4.2] - 2024-12-13 ### Documentation diff --git a/tools/Cargo.toml b/tools/Cargo.toml index 67567100..7ec2e1ff 100644 --- a/tools/Cargo.toml +++ b/tools/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-tools" -version = "0.4.2" +version = "0.4.3" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true