Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: release #57

Merged
merged 2 commits into from
Feb 23, 2024
Merged

chore: release #57

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
be3436f
chore: release
chrjabs Feb 22, 2024
f123b4f
Update changelog
chrjabs Feb 23, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 18 additions & 0 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,24 @@

All notable changes to this project will be documented in this file.

## [0.4.3] - 2024-02-22

### Features

- Internal `from_raw` methods for db totalizers
- Thorough merge strategy for `NodeById`
- Make opb defaults more like pbo competition specs
- Output opbs with `#variable` line

### Bug Fixes

- Remove `weight_sum` field from `DbGte`

### Documentation

- Disable cbindgen on docs.rs

<!-- generated by git-cliff -->
<!-- generated by git-cliff -->
## [0.4.2] - 2024-01-11

Expand Down
7 changes: 7 additions & 0 deletions cadical/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,13 @@

All notable changes to this project will be documented in this file.

## [0.2.4] - 2024-02-22

### Miscellaneous Tasks

- Updated the following local packages: rustsat

<!-- generated by git-cliff -->
<!-- generated by git-cliff -->
## [0.2.3] - 2024-01-11

Expand Down
4 changes: 2 additions & 2 deletions cadical/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "rustsat-cadical"
version = "0.2.3"
version = "0.2.4"
edition = "2021"
authors = ["Christoph Jabs <[email protected]>"]
license = "MIT"
Expand Down Expand Up @@ -40,7 +40,7 @@ v1-9-4 = []

[dependencies]
cpu-time = "1.0.0"
rustsat = { version = "0.4.2", path = "../rustsat", default-features = false }
rustsat = { version = "0.4.3", path = "../rustsat", default-features = false }

[build-dependencies]
cc = { version = "1.0.83", features = ["parallel"] }
Expand Down
7 changes: 7 additions & 0 deletions glucose/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,13 @@

All notable changes to this project will be documented in this file.

## [0.2.4] - 2024-02-22

### Bug Fixes

- Remove zlib dependency from minisat and glucose

<!-- generated by git-cliff -->
<!-- generated by git-cliff -->
## [0.2.3] - 2024-01-11

Expand Down
4 changes: 2 additions & 2 deletions glucose/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "rustsat-glucose"
version = "0.2.3"
version = "0.2.4"
edition = "2021"
authors = ["Christoph Jabs <[email protected]>"]
license = "MIT"
Expand All @@ -18,7 +18,7 @@ debug = []

[dependencies]
cpu-time = "1.0.0"
rustsat = { version = "0.4.2", path = "../rustsat", default-features = false }
rustsat = { version = "0.4.3", path = "../rustsat", default-features = false }

[build-dependencies]
cc = { version = "1.0.83", features = ["parallel"] }
Expand Down
7 changes: 7 additions & 0 deletions kissat/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,13 @@

All notable changes to this project will be documented in this file.

## [0.1.6] - 2024-02-22

### Miscellaneous Tasks

- Updated the following local packages: rustsat

<!-- generated by git-cliff -->
<!-- generated by git-cliff -->
## [0.1.5] - 2024-01-11

Expand Down
4 changes: 2 additions & 2 deletions kissat/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "rustsat-kissat"
version = "0.1.5"
version = "0.1.6"
edition = "2021"
authors = ["Christoph Jabs <[email protected]>"]
license = "MIT"
Expand All @@ -26,7 +26,7 @@ sc2022-bulky = []

[dependencies]
cpu-time = "1.0.0"
rustsat = { version = "0.4.2", path = "../rustsat", default-features = false }
rustsat = { version = "0.4.3", path = "../rustsat", default-features = false }

[build-dependencies]
cc = { version = "1.0.83", features = ["parallel"] }
Expand Down
7 changes: 7 additions & 0 deletions minisat/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,13 @@

All notable changes to this project will be documented in this file.

## [0.2.4] - 2024-02-22

### Bug Fixes

- Remove zlib dependency from minisat and glucose

<!-- generated by git-cliff -->
<!-- generated by git-cliff -->
## [0.2.3] - 2024-01-11

Expand Down
4 changes: 2 additions & 2 deletions minisat/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "rustsat-minisat"
version = "0.2.3"
version = "0.2.4"
edition = "2021"
authors = ["Christoph Jabs <[email protected]>"]
license = "MIT"
Expand All @@ -18,7 +18,7 @@ debug = []

[dependencies]
cpu-time = "1.0.0"
rustsat = { version = "0.4.2", path = "../rustsat", default-features = false }
rustsat = { version = "0.4.3", path = "../rustsat", default-features = false }

[build-dependencies]
cc = { version = "1.0.83", features = ["parallel"] }
Expand Down
2 changes: 1 addition & 1 deletion rustsat/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "rustsat"
version = "0.4.2"
version = "0.4.3"
edition = "2021"
authors = ["Christoph Jabs <[email protected]>"]
license = "MIT"
Expand Down
7 changes: 7 additions & 0 deletions tools/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,13 @@

All notable changes to this project will be documented in this file.

## [0.2.4] - 2024-02-22

### Features

- Make opb defaults more like pbo competition specs

<!-- generated by git-cliff -->
## [0.2.3] - 2024-01-11

### Miscellaneous Tasks
Expand Down
8 changes: 4 additions & 4 deletions tools/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "rustsat-tools"
version = "0.2.3"
version = "0.2.4"
edition = "2021"
authors = ["Christoph Jabs <[email protected]>"]
license = "MIT"
Expand All @@ -12,9 +12,9 @@ readme = "README.md"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]
rustsat = { version = "0.4.2", path = "../rustsat", features = ["compression", "multiopt", "rand", "internals"] }
rustsat-cadical = { version = "0.2.3", path = "../cadical", optional = true }
rustsat-minisat = { version = "0.2.3", path = "../minisat", optional = true }
rustsat = { version = "0.4.3", path = "../rustsat", features = ["compression", "multiopt", "rand", "internals"] }
rustsat-cadical = { version = "0.2.4", path = "../cadical", optional = true }
rustsat-minisat = { version = "0.2.4", path = "../minisat", optional = true }
clap = { version = "4.2.4", features = ["derive", "cargo"] }
concolor-clap = { version = "0.1.0" }
termcolor = { version = "1.2.0" }
Expand Down
Loading