chore: release

[rustsat-release-plz-bot]

🤖 New release

• rustsat: 0.6.4 -> 0.6.5 (✓ API compatible changes)
• rustsat-cadical: 0.4.4 -> 0.4.5 (✓ API compatible changes)
• rustsat-minisat: 0.4.4 -> 0.4.5 (✓ API compatible changes)
• rustsat-tools: 0.4.4 -> 0.5.0 (⚠ API breaking changes)
• rustsat-kissat: 0.3.4 -> 0.3.5 (✓ API compatible changes)
• rustsat-glucose: 0.3.6 -> 0.3.7 (✓ API compatible changes)
• rustsat-ipasir: 0.1.6 -> 0.1.7 (✓ API compatible changes)
• rustsat-batsat: 0.1.3 -> 0.1.4 (✓ API compatible changes)

⚠ rustsat-tools breaking changes

--- failure enum_missing: pub enum removed or renamed ---

Description:
A publicly-visible enum cannot be imported by its prior path. A `pub use` may have been removed, or the enum itself may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.39.0/src/lints/enum_missing.ron

Failed in:
  enum rustsat_tools::encodings::cnf::clustering::Variant, previously in file /tmp/.tmp81AzCC/rustsat-tools/src/encodings/cnf/clustering.rs:30

--- failure method_parameter_count_changed: pub method parameter count changed ---

Description:
A publicly-visible method now takes a different number of parameters.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#fn-change-arity
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.39.0/src/lints/method_parameter_count_changed.ron

Failed in:
  rustsat_tools::encodings::cnf::clustering::Encoding::new now takes 2 parameters instead of 3, in /tmp/.tmpL12aka/rustsat/tools/src/encodings/cnf/clustering.rs:138

Changelog

rustsat

[0.6.5] - 2025-03-08

Bug Fixes

• Update patch updates to 0.23.5 (fix(deps): update patch updates to 0.23.5 #288)
• Update patch updates (fix(deps): update patch updates #291)

Miscellaneous Tasks

• Cargo fmt
• Cargo clippy

rustsat-cadical

[0.4.5] - 2025-03-08

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

rustsat-minisat

[0.4.5] - 2025-03-08

Miscellaneous Tasks

• Include source as subtree
• Fix trailing whitespace

rustsat-tools

[0.5.0] - 2025-03-08

Features

• Limit number of enumerated solutions in enumerator

Miscellaneous Tasks

• Cargo clippy
• Remove variant from clustering encoding

rustsat-kissat

[0.3.5] - 2025-03-08

Documentation

• Details on downloading at compile time

rustsat-glucose

[0.3.7] - 2025-03-08

Miscellaneous Tasks

• Include source as subtree
• Fix trailing whitespace

rustsat-ipasir

[0.1.7] - 2025-03-08

Miscellaneous Tasks

• Update Cargo.toml dependencies

rustsat-batsat

[0.1.4] - 2025-03-08

Miscellaneous Tasks

• Update Cargo.toml dependencies

---

This PR was generated with release-plz.