chore: release

Signed-off-by: Christoph Jabs <[email protected]>

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
+
+<!-- generated by git-cliff -->
 ## [0.3.0]
 
 ### Refactor

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
+
+<!-- generated by git-cliff -->

cadical/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-cadical"
-version = "0.2.0"
+version = "0.2.1"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 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"] }

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
+
+<!-- generated by git-cliff -->

glucose/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-glucose"
-version = "0.2.0"
+version = "0.2.1"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 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"] }

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
+
+<!-- generated by git-cliff -->

kissat/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-kissat"
-version = "0.1.2"
+version = "0.1.3"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 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"] }

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
+
+<!-- generated by git-cliff -->

minisat/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-minisat"
-version = "0.2.0"
+version = "0.2.1"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 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"] }

rustsat/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rustsat"
-version = "0.3.0"
+version = "0.4.0"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"

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
+
+<!-- generated by git-cliff -->

tools/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rustsat-tools"
-version = "0.2.0"
+version = "0.2.1"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 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" }