diff --git a/CHANGELOG.md b/CHANGELOG.md index 36caccd8..7d58b4ee 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,43 @@ All notable changes to this project will be documented in this file. +## [0.4.0] - 2023-12-18 + +### Bug Fixes + +- Set var manager in SatInstance::from_iter +- Set vm correctly in SatInstance::from(Cnf) + +### Documentation + +- (limited) python api documentation + +### Features + +- Python api expose lit, clause, cnf +- Python len and indexing support for clause and cnf +- Feature switch for python api +- Python iterators +- Totalizer and comparison operators in pyapi +- Expose all encodings in python api +- Extend internal node api +- Limited connections in node db +- Constant method for objective +- Allow cloning totalizer db + +### Miscellaneous Tasks + +- Next value in db-referencing gtes + +### Bugfix + +- Coarse convergence bounds +- Link capi tests to archive libs +- Typo in capi +- Parse empty instances correctly +- Limited connections in node db + + ## [0.3.0] ### Refactor diff --git a/cadical/CHANGELOG.md b/cadical/CHANGELOG.md new file mode 100644 index 00000000..82504d1a --- /dev/null +++ b/cadical/CHANGELOG.md @@ -0,0 +1,11 @@ +# Changelog + +All notable changes to this project will be documented in this file. + +## [0.2.1] - 2023-12-18 + +### Features + +- Cadical v1.9.0 - v1.9.2 + + diff --git a/cadical/Cargo.toml b/cadical/Cargo.toml index 397060b1..2025d6c9 100644 --- a/cadical/Cargo.toml +++ b/cadical/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-cadical" -version = "0.2.0" +version = "0.2.1" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -38,7 +38,7 @@ v1-9-2 = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.3.0", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.0", path = "../rustsat", default-features = false } [build-dependencies] cc = { version = "1.0.83", features = ["parallel"] } diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md new file mode 100644 index 00000000..6a20cfb9 --- /dev/null +++ b/glucose/CHANGELOG.md @@ -0,0 +1,11 @@ +# Changelog + +All notable changes to this project will be documented in this file. + +## [0.2.1] - 2023-12-18 + +### Miscellaneous Tasks + +- Updated the following local packages: rustsat + + diff --git a/glucose/Cargo.toml b/glucose/Cargo.toml index d9ac3d28..b3d953fa 100644 --- a/glucose/Cargo.toml +++ b/glucose/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-glucose" -version = "0.2.0" +version = "0.2.1" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -18,7 +18,7 @@ glucose4-1 = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.3.0", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.0", path = "../rustsat", default-features = false } [build-dependencies] cc = { version = "1.0.83", features = ["parallel"] } diff --git a/kissat/CHANGELOG.md b/kissat/CHANGELOG.md new file mode 100644 index 00000000..233e7ad1 --- /dev/null +++ b/kissat/CHANGELOG.md @@ -0,0 +1,11 @@ +# Changelog + +All notable changes to this project will be documented in this file. + +## [0.1.3] - 2023-12-18 + +### Miscellaneous Tasks + +- Updated the following local packages: rustsat + + diff --git a/kissat/Cargo.toml b/kissat/Cargo.toml index e26bceeb..29d63bf1 100644 --- a/kissat/Cargo.toml +++ b/kissat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-kissat" -version = "0.1.2" +version = "0.1.3" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -26,7 +26,7 @@ sc2022-bulky = [] [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.3.0", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.0", path = "../rustsat", default-features = false } [build-dependencies] cc = { version = "1.0.83", features = ["parallel"] } diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md new file mode 100644 index 00000000..6a20cfb9 --- /dev/null +++ b/minisat/CHANGELOG.md @@ -0,0 +1,11 @@ +# Changelog + +All notable changes to this project will be documented in this file. + +## [0.2.1] - 2023-12-18 + +### Miscellaneous Tasks + +- Updated the following local packages: rustsat + + diff --git a/minisat/Cargo.toml b/minisat/Cargo.toml index 645bea78..73418a18 100644 --- a/minisat/Cargo.toml +++ b/minisat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-minisat" -version = "0.2.0" +version = "0.2.1" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -15,7 +15,7 @@ build = "build.rs" [dependencies] cpu-time = "1.0.0" -rustsat = { version = "0.3.0", path = "../rustsat", default-features = false } +rustsat = { version = "0.4.0", 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 c32e4f6f..c66642d8 100644 --- a/rustsat/Cargo.toml +++ b/rustsat/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat" -version = "0.3.0" +version = "0.4.0" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md new file mode 100644 index 00000000..44df65d2 --- /dev/null +++ b/tools/CHANGELOG.md @@ -0,0 +1,11 @@ +# Changelog + +All notable changes to this project will be documented in this file. + +## [0.2.1] - 2023-12-18 + +### Miscellaneous Tasks + +- Updated the following local packages: rustsat, rustsat-cadical + + diff --git a/tools/Cargo.toml b/tools/Cargo.toml index 550e74d1..26f5c17b 100644 --- a/tools/Cargo.toml +++ b/tools/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rustsat-tools" -version = "0.2.0" +version = "0.2.1" edition = "2021" authors = ["Christoph Jabs "] license = "MIT" @@ -12,8 +12,8 @@ readme = "README.md" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html [dependencies] -rustsat = { version = "0.3.0", path = "../rustsat", features = ["compression", "multiopt", "rand", "internals"] } -rustsat-cadical = { version = "0.2.0", path = "../cadical" } +rustsat = { version = "0.4.0", path = "../rustsat", features = ["compression", "multiopt", "rand", "internals"] } +rustsat-cadical = { version = "0.2.1", path = "../cadical" } clap = { version = "4.2.4", features = ["derive", "cargo"] } concolor-clap = { version = "0.1.0" } termcolor = { version = "1.2.0" }