diff --git a/CHANGELOG.md b/CHANGELOG.md index de5375b5..2a0d9a3b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,14 @@ All notable changes to this project will be documented in this file. +## [0.6.5] - 2025-02-24 + +### Miscellaneous Tasks + +- Cargo fmt +- Cargo clippy + + ## [0.6.4] - 2025-02-18 ### Features diff --git a/Cargo.lock b/Cargo.lock index d9670612..a51977ce 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -403,9 +403,9 @@ checksum = "fea41bba32d969b513997752735605054bc0dfa92b4c56bf1189f2e174be7a10" [[package]] name = "either" -version = "1.13.0" +version = "1.14.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "60b1af1c220855b6ceac025d3f6ecdd2b7c4894bfe9cd9bda4fbb4bc7c0d4cf0" +checksum = "b7914353092ddf589ad78f25c5c1c21b7f80b0ff8621e7c814c3485b5306da9d" [[package]] name = "equivalent" @@ -431,9 +431,9 @@ checksum = "37909eebbb50d72f9059c3b6d82c0463f2ff062c9e95845c43a6c9c0355411be" [[package]] name = "flate2" -version = "1.0.35" +version = "1.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c936bfdafb507ebbf50b8074c54fa31c5be9a1e7e5f467dd659697041407d07c" +checksum = "11faaf5a5236997af9848be0bef4db95824b1d534ebc64d0f0c6cf3e67bd38dc" dependencies = [ "crc32fast", "libz-ng-sys", @@ -807,9 +807,9 @@ checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe" [[package]] name = "libc" -version = "0.2.169" +version = "0.2.170" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b5aba8db14291edd000dfcc4d620c7ebfb122c613afb886ca8803fa4e128a20a" +checksum = "875b3680cb2f8f71bdcf9a30f38d48282f5d3c95cbf9b3fa57269bb5d5c06828" [[package]] name = "libgit2-sys" @@ -885,9 +885,9 @@ checksum = "4ee93343901ab17bd981295f2cf0026d4ad018c7c31ba84549a4ddbb47a45104" [[package]] name = "log" -version = "0.4.25" +version = "0.4.26" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "04cbf5b083de1c7e0222a7a51dbfdba1cbe1c6ab0b15e29fff3f6c077fd9cd9f" +checksum = "30bde2b3dc3671ae49d8e2e9f044c7c005836e7a023ee57cffa25ab82764bb9e" [[package]] name = "lzma-sys" @@ -923,9 +923,9 @@ checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a" [[package]] name = "miniz_oxide" -version = "0.8.4" +version = "0.8.5" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b3b1c9bd4fe1f0f8b387f6eb9eb3b4a1aa26185e5750efb9140301703f62cd1b" +checksum = "8e3e04debbb59698c15bacbb6d93584a8c0ca9cc3213cb423d31f760d8843ce5" dependencies = [ "adler2", ] @@ -1147,7 +1147,7 @@ checksum = "3779b94aeb87e8bd4e834cee3650289ee9e0d5677f976ecdb6d219e5f4f6cd94" dependencies = [ "rand_chacha", "rand_core", - "zerocopy 0.8.18", + "zerocopy 0.8.20", ] [[package]] @@ -1162,12 +1162,12 @@ dependencies = [ [[package]] name = "rand_core" -version = "0.9.1" +version = "0.9.2" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a88e0da7a2c97baa202165137c158d0a2e824ac465d13d81046727b34cb247d3" +checksum = "7a509b1a2ffbe92afab0e55c8fd99dea1c280e8171bd2d88682bb20bc41cbc2c" dependencies = [ "getrandom", - "zerocopy 0.8.18", + "zerocopy 0.8.20", ] [[package]] @@ -1235,7 +1235,7 @@ dependencies = [ [[package]] name = "rustsat" -version = "0.6.4" +version = "0.6.5" dependencies = [ "anyhow", "bzip2", @@ -1257,7 +1257,7 @@ dependencies = [ [[package]] name = "rustsat-batsat" -version = "0.1.3" +version = "0.1.4" dependencies = [ "anyhow", "batsat", @@ -1269,7 +1269,7 @@ dependencies = [ [[package]] name = "rustsat-cadical" -version = "0.4.4" +version = "0.4.5" dependencies = [ "anyhow", "bindgen", @@ -1296,7 +1296,7 @@ dependencies = [ [[package]] name = "rustsat-glucose" -version = "0.3.6" +version = "0.3.7" dependencies = [ "anyhow", "bindgen", @@ -1309,7 +1309,7 @@ dependencies = [ [[package]] name = "rustsat-ipasir" -version = "0.1.6" +version = "0.1.7" dependencies = [ "anyhow", "cpu-time", @@ -1319,7 +1319,7 @@ dependencies = [ [[package]] name = "rustsat-kissat" -version = "0.3.4" +version = "0.3.5" dependencies = [ "anyhow", "bindgen", @@ -1337,7 +1337,7 @@ dependencies = [ [[package]] name = "rustsat-minisat" -version = "0.4.4" +version = "0.4.5" dependencies = [ "anyhow", "bindgen", @@ -1371,7 +1371,7 @@ dependencies = [ [[package]] name = "rustsat-tools" -version = "0.4.4" +version = "0.5.0" dependencies = [ "anyhow", "clap", @@ -1438,9 +1438,9 @@ dependencies = [ [[package]] name = "serde_json" -version = "1.0.138" +version = "1.0.139" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d434192e7da787e94a6ea7e9670b26a036d0ca41e0b7efb2676dd32bae872949" +checksum = "44f86c3acccc9c65b153fe1b85a3be07fe5515274ec9f0653b4a0875731c72a6" dependencies = [ "itoa", "memchr", @@ -1635,9 +1635,9 @@ checksum = "2896d95c02a80c6d6a5d6e953d479f5ddf2dfdb6a244441010e373ac0fb88971" [[package]] name = "unicode-ident" -version = "1.0.16" +version = "1.0.17" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a210d160f08b701c8721ba1c726c11662f877ea6b7094007e1ca9a1041945034" +checksum = "00e2473a93778eb0bad35909dff6a10d28e63f792f16ed15e404fca9d5eeedbe" [[package]] name = "unindent" @@ -1948,9 +1948,9 @@ checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec" [[package]] name = "winnow" -version = "0.7.2" +version = "0.7.3" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "59690dea168f2198d1a3b0cac23b8063efcd11012f10ae4698f284808c8ef603" +checksum = "0e7f4ea97f6f78012141bcdb6a216b2609f0979ada50b20ca5b52dde2eac2bb1" dependencies = [ "memchr", ] @@ -2021,11 +2021,11 @@ dependencies = [ [[package]] name = "zerocopy" -version = "0.8.18" +version = "0.8.20" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "79386d31a42a4996e3336b0919ddb90f81112af416270cff95b5f5af22b839c2" +checksum = "dde3bb8c68a8f3f1ed4ac9221aad6b10cece3e60a8e2ea54a6a2dec806d0084c" dependencies = [ - "zerocopy-derive 0.8.18", + "zerocopy-derive 0.8.20", ] [[package]] @@ -2041,9 +2041,9 @@ dependencies = [ [[package]] name = "zerocopy-derive" -version = "0.8.18" +version = "0.8.20" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "76331675d372f91bf8d17e13afbd5fe639200b73d01f0fc748bb059f9cca2db7" +checksum = "eea57037071898bf96a6da35fd626f4f27e9cee3ead2a6c703cf09d472b2e700" dependencies = [ "proc-macro2", "quote", diff --git a/Cargo.toml b/Cargo.toml index c63cd812..2839fbbf 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -39,9 +39,9 @@ thiserror = "2.0.11" rand = "0.9.0" rand_chacha = "0.9.0" rustc-hash = "2.1.1" -rustsat = { version = "0.6.4", path = "./", default-features = false } -rustsat-cadical = { version = "0.4.4", path = "./cadical" } -rustsat-minisat = { version = "0.4.4", path = "./minisat" } +rustsat = { version = "0.6.5", path = "./", default-features = false } +rustsat-cadical = { version = "0.4.5", path = "./cadical" } +rustsat-minisat = { version = "0.4.5", path = "./minisat" } rustsat-solvertests = { path = "./solvertests" } serde = { version = "1.0.218", features = ["derive"] } signal-hook = "0.3.17" @@ -51,7 +51,7 @@ xz2 = "0.1.7" [package] name = "rustsat" -version = "0.6.4" +version = "0.6.5" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/batsat/CHANGELOG.md b/batsat/CHANGELOG.md index 5ae08e7f..2808c338 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.4] - 2025-02-24 + +### Miscellaneous Tasks + +- Update Cargo.toml dependencies + + ## [0.1.3] - 2025-02-18 ### Features diff --git a/batsat/Cargo.toml b/batsat/Cargo.toml index 56204127..8a142da8 100644 --- a/batsat/Cargo.toml +++ b/batsat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-batsat" -version = "0.1.3" +version = "0.1.4" edition = "2021" authors = ["Noah Bruns "] license = "MIT" diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md index bb977072..66c27b4b 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.4.5] - 2025-02-24 + +### Bug Fixes + +- Index out of bounds error in old propagate + +### Features + +- Include source for newest version + +### Miscellaneous Tasks + +- Prepare for subtree inclusion +- Include source as subtree + + ## [0.4.4] - 2025-02-18 ### Features diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml index 636733ef..17d5963f 100644 --- a/cadical/Cargo.toml +++ b/cadical/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-cadical" -version = "0.4.4" +version = "0.4.5" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/cadical/cppsrc/test/api/makefile b/cadical/cppsrc/test/api/makefile deleted file mode 100644 index 9c4f4dec..00000000 --- a/cadical/cppsrc/test/api/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# compile and execute with a single 'make' the API tests in '../../build' -test: - $(MAKE) -C .. api diff --git a/cadical/cppsrc/test/cnf/makefile b/cadical/cppsrc/test/cnf/makefile deleted file mode 100644 index 370c9ebe..00000000 --- a/cadical/cppsrc/test/cnf/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# execute CNF tests with a single 'make' command in '../../build' -test: - $(MAKE) -C .. cnf diff --git a/cadical/cppsrc/test/contrib/makefile b/cadical/cppsrc/test/contrib/makefile deleted file mode 100644 index 89d02666..00000000 --- a/cadical/cppsrc/test/contrib/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# compile and execute with a single 'make' the contrib tests in '../../build' -test: - $(MAKE) -C .. contrib diff --git a/cadical/cppsrc/test/icnf/makefile b/cadical/cppsrc/test/icnf/makefile deleted file mode 100644 index 5fc6b062..00000000 --- a/cadical/cppsrc/test/icnf/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# execute ICNF tests with a single 'make' command in '../../build' -test: - $(MAKE) -C .. icnf diff --git a/cadical/cppsrc/test/makefile b/cadical/cppsrc/test/makefile deleted file mode 100644 index ae0a7490..00000000 --- a/cadical/cppsrc/test/makefile +++ /dev/null @@ -1,16 +0,0 @@ -test: usage trace api cnf icnf mbt contrib -api: - @api/run.sh -cnf: - @cnf/run.sh -icnf: - @icnf/run.sh -mbt: - @mbt/run.sh -trace: - @trace/run.sh -usage: - @usage/run.sh -contrib: - @contrib/run.sh -.PHONY: test api cnf icnf mbt trace usage contrib diff --git a/cadical/cppsrc/test/mbt/makefile b/cadical/cppsrc/test/mbt/makefile deleted file mode 100644 index ccbb0f1b..00000000 --- a/cadical/cppsrc/test/mbt/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# run a fixed number of the model based testing rounds with a single 'make' -test: - $(MAKE) -C .. mbt diff --git a/cadical/cppsrc/test/trace/makefile b/cadical/cppsrc/test/trace/makefile deleted file mode 100644 index 3f94d33c..00000000 --- a/cadical/cppsrc/test/trace/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# run the regression traces with a single 'make' call -test: - $(MAKE) -C .. trace diff --git a/cadical/cppsrc/test/usage/makefile b/cadical/cppsrc/test/usage/makefile deleted file mode 100644 index f93291c3..00000000 --- a/cadical/cppsrc/test/usage/makefile +++ /dev/null @@ -1,3 +0,0 @@ -# execute usage tests with a single 'make' command in '../../build' -test: - $(MAKE) -C .. usage diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md index c1f4c440..14b98eaa 100644 --- a/glucose/CHANGELOG.md +++ b/glucose/CHANGELOG.md @@ -2,6 +2,14 @@ All notable changes to this project will be documented in this file. +## [0.3.7] - 2025-02-24 + +### Miscellaneous Tasks + +- Include source as subtree +- Fix trailing whitespace + + ## [0.3.6] - 2025-02-18 ### Miscellaneous Tasks diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml index 379333f2..8f74cf50 100644 --- a/glucose/Cargo.toml +++ b/glucose/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-glucose" -version = "0.3.6" +version = "0.3.7" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/ipasir/CHANGELOG.md b/ipasir/CHANGELOG.md index 052ebcb9..30cd3bea 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.7] - 2025-02-24 + +### Miscellaneous Tasks + +- Update Cargo.toml dependencies + + ## [0.1.6] - 2025-02-18 ### Miscellaneous Tasks diff --git a/ipasir/Cargo.toml b/ipasir/Cargo.toml index c6727b07..84d19a45 100644 --- a/ipasir/Cargo.toml +++ b/ipasir/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-ipasir" -version = "0.1.6" +version = "0.1.7" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md index f7906892..c01f3468 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.5] - 2025-02-24 + +### Documentation + +- Details on downloading at compile time + + ## [0.3.4] - 2025-02-18 ### Features diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml index 8280c186..6184b59c 100644 --- a/kissat/Cargo.toml +++ b/kissat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-kissat" -version = "0.3.4" +version = "0.3.5" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/kissat/csrc/test/big/makefile b/kissat/csrc/test/big/makefile deleted file mode 100644 index 4a2a0383..00000000 --- a/kissat/csrc/test/big/makefile +++ /dev/null @@ -1,4 +0,0 @@ -all: - gcc -o genbigand genbigand.c -clean: - rm -f genbigand diff --git a/kissat/csrc/test/makefile b/kissat/csrc/test/makefile deleted file mode 100644 index bb7ebc91..00000000 --- a/kissat/csrc/test/makefile +++ /dev/null @@ -1,9 +0,0 @@ -test: - +$(MAKE) -C .. test -clean: - $(MAKE) -C .. clean -indent: - $(MAKE) -C .. indent -coverage: - $(MAKE) -C .. coverage -.PHONY: all clean coverage indent test diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md index 9ccb5b8f..caebac21 100644 --- a/minisat/CHANGELOG.md +++ b/minisat/CHANGELOG.md @@ -2,6 +2,14 @@ All notable changes to this project will be documented in this file. +## [0.4.5] - 2025-02-24 + +### Miscellaneous Tasks + +- Include source as subtree +- Fix trailing whitespace + + ## [0.4.4] - 2025-02-18 ### Miscellaneous Tasks diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml index eaef4999..76b824f7 100644 --- a/minisat/Cargo.toml +++ b/minisat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-minisat" -version = "0.4.4" +version = "0.4.5" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md index 8f3cd207..c4bf42b0 100644 --- a/tools/CHANGELOG.md +++ b/tools/CHANGELOG.md @@ -2,6 +2,18 @@ All notable changes to this project will be documented in this file. +## [0.5.0] - 2025-02-24 + +### Features + +- Limit number of enumerated solutions in enumerator + +### Miscellaneous Tasks + +- Cargo clippy +- Remove variant from clustering encoding + + ## [0.4.4] - 2025-02-18 ### Features diff --git a/tools/Cargo.toml b/tools/Cargo.toml index b62ac53a..137daf9f 100644 --- a/tools/Cargo.toml +++ b/tools/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-tools" -version = "0.4.4" +version = "0.5.0" edition.workspace = true authors = ["Christoph Jabs "] license.workspace = true