diff --git a/CHANGELOG.md b/CHANGELOG.md index db51e060..7d0ab25d 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-20 + +### Miscellaneous Tasks + +- Exclude unnecessary files from release + + ## [0.6.2] - 2024-12-13 ### Features diff --git a/Cargo.lock b/Cargo.lock index fa90f2b7..7e843ca5 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -817,9 +817,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" @@ -933,9 +933,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", ] @@ -1043,15 +1043,15 @@ dependencies = [ [[package]] name = "predicates-core" -version = "1.0.8" +version = "1.0.9" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ae8177bee8e75d6846599c6b9ff679ed51e882816914eec639944d7c9aa11931" +checksum = "727e462b119fe9c93fd0eb1429a5f7647394014cf3c04ab2c0350eeb09095ffa" [[package]] name = "predicates-tree" -version = "1.0.11" +version = "1.0.12" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "41b740d195ed3166cd147c8047ec98db0e22ec019eb8eeb76d343b795304fb13" +checksum = "72dd2d6d381dfb73a193c7fca536518d7caee39fc8503f74e7dc0be0531b425c" dependencies = [ "predicates-core", "termtree", @@ -1244,7 +1244,7 @@ dependencies = [ [[package]] name = "rustsat" -version = "0.6.2" +version = "0.6.3" dependencies = [ "anyhow", "bzip2", @@ -1265,7 +1265,7 @@ dependencies = [ [[package]] name = "rustsat-batsat" -version = "0.1.1" +version = "0.1.2" dependencies = [ "anyhow", "batsat", @@ -1277,7 +1277,7 @@ dependencies = [ [[package]] name = "rustsat-cadical" -version = "0.4.2" +version = "0.4.3" dependencies = [ "anyhow", "bindgen", @@ -1295,7 +1295,7 @@ dependencies = [ [[package]] name = "rustsat-capi" -version = "0.6.2" +version = "0.6.3" dependencies = [ "cbindgen", "inline-c", @@ -1304,7 +1304,7 @@ dependencies = [ [[package]] name = "rustsat-glucose" -version = "0.3.4" +version = "0.3.5" dependencies = [ "anyhow", "bindgen", @@ -1317,7 +1317,7 @@ dependencies = [ [[package]] name = "rustsat-ipasir" -version = "0.1.4" +version = "0.1.5" dependencies = [ "anyhow", "cpu-time", @@ -1327,7 +1327,7 @@ dependencies = [ [[package]] name = "rustsat-kissat" -version = "0.3.2" +version = "0.3.3" dependencies = [ "anyhow", "bindgen", @@ -1345,7 +1345,7 @@ dependencies = [ [[package]] name = "rustsat-minisat" -version = "0.4.2" +version = "0.4.3" dependencies = [ "anyhow", "bindgen", @@ -1360,7 +1360,7 @@ dependencies = [ [[package]] name = "rustsat-pyapi" -version = "0.6.2" +version = "0.6.3" dependencies = [ "pyo3", "pyo3-build-config", @@ -1379,7 +1379,7 @@ dependencies = [ [[package]] name = "rustsat-tools" -version = "0.4.2" +version = "0.4.3" dependencies = [ "anyhow", "atty", @@ -1567,9 +1567,9 @@ dependencies = [ [[package]] name = "termtree" -version = "0.4.1" +version = "0.5.1" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3369f5ac52d5eb6ab48c6b4ffdc8efbcad6b89c765749064ba298f2c68a16a76" +checksum = "8f50febec83f5ee1df3015341d8bd429f2d1cc62bcba7ea2076759d315084683" [[package]] name = "thiserror" diff --git a/Cargo.toml b/Cargo.toml index bee3d8ae..ea881c69 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -40,9 +40,9 @@ thiserror = "2.0.8" 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..53e48628 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-20 + +### 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..7152ea2f 100644 --- a/cadical/CHANGELOG.md +++ b/cadical/CHANGELOG.md @@ -2,6 +2,17 @@ All notable changes to this project will be documented in this file. +## [0.4.3] - 2024-12-20 + +### Features + +- Version 2.1.1 + +### 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 e5cca215..fce11922 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/cadical/README.md b/cadical/README.md index 4f8bfb92..bc524096 100644 --- a/cadical/README.md +++ b/cadical/README.md @@ -21,7 +21,7 @@ Armin Biere's SAT solver [CaDiCaL](https://github.com/arminbiere/cadical) to be ## CaDiCaL Versions CaDiCaL versions can be selected via cargo crate features. -All CaDiCaL versions up to [Version 2.1.0](https://github.com/arminbiere/cadical/releases/tag/rel-2.0.0) are available. +All CaDiCaL versions up to [Version 2.1.1](https://github.com/arminbiere/cadical/releases/tag/rel-2.1.1) are available. For the full list of versions and the changelog see [the CaDiCaL releases](https://github.com/arminbiere/cadical/releases). Without any features selected, the newest version will be used. diff --git a/cadical/src/lib.rs b/cadical/src/lib.rs index c95e53d3..9e17c6cb 100644 --- a/cadical/src/lib.rs +++ b/cadical/src/lib.rs @@ -14,7 +14,7 @@ //! ## CaDiCaL Versions //! //! CaDiCaL versions can be selected via cargo crate features. -//! All CaDiCaL versions up to [Version 2.1.0](https://github.com/arminbiere/cadical/releases/tag/rel-2.0.0) are available. +//! All CaDiCaL versions up to [Version 2.1.1](https://github.com/arminbiere/cadical/releases/tag/rel-2.1.1) are available. //! For the full list of versions and the changelog see [the CaDiCaL releases](https://github.com/arminbiere/cadical/releases). //! //! Without any features selected, the newest version will be used. diff --git a/capi/Cargo.toml b/capi/Cargo.toml index cb7449ea..e95c6a83 100644 --- a/capi/Cargo.toml +++ b/capi/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-capi" -version = "0.6.2" +version = "0.6.3" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/capi/rustsat.h b/capi/rustsat.h index b4186dd4..019cfc30 100644 --- a/capi/rustsat.h +++ b/capi/rustsat.h @@ -6,10 +6,10 @@ #include #include #include -#define RUSTSAT_VERSION 0.6.2 +#define RUSTSAT_VERSION 0.6.3 #define RUSTSAT_VERSION_MAJOR 0 #define RUSTSAT_VERSION_MINOR 6 -#define RUSTSAT_VERSION_PATCH 2 +#define RUSTSAT_VERSION_PATCH 3 #ifdef __cplusplus namespace RustSAT { diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md index adff50f5..e6546602 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-20 + +### 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..0adcb1d3 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-20 + +### Miscellaneous Tasks + +- Update Cargo.toml dependencies + + ## [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..5309a6ef 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-20 + +### 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..4fc9e772 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-20 + +### 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/pyapi/Cargo.toml b/pyapi/Cargo.toml index cf6f43e1..8daabad2 100644 --- a/pyapi/Cargo.toml +++ b/pyapi/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-pyapi" -version = "0.6.2" +version = "0.6.3" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md index 19da3463..956ba11a 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-20 + +### 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