chore: release

[chrjabs]

🤖 New release

• rustsat: 0.3.0 -> 0.4.0 (⚠️ API breaking changes)
• rustsat-tools: 0.2.0 -> 0.2.1
• rustsat-cadical: 0.2.0 -> 0.2.1
• rustsat-kissat: 0.1.2 -> 0.1.3
• rustsat-glucose: 0.2.0 -> 0.2.1
• rustsat-minisat: 0.2.0 -> 0.2.1

⚠️ rustsat 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.26.0/src/lints/enum_missing.ron

Failed in:
  enum rustsat::capi::encodings::MaybeError, previously in file /tmp/.tmpGlFupY/rustsat/src/capi.rs:21

--- failure function_missing: pub fn removed or renamed ---

Description:
A publicly-visible function cannot be imported by its prior path. A `pub use` may have been removed, or the function 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.26.0/src/lints/function_missing.ron

Failed in:
  function rustsat::capi::encodings::totalizer::tot_encode_ub, previously in file /tmp/.tmpGlFupY/rustsat/src/capi.rs:175
  function rustsat::capi::encodings::totalizer::tot_add, previously in file /tmp/.tmpGlFupY/rustsat/src/capi.rs:152
  function rustsat::capi::encodings::totalizer::tot_new, previously in file /tmp/.tmpGlFupY/rustsat/src/capi.rs:141
  function rustsat::capi::encodings::totalizer::tot_enforce_ub, previously in file /tmp/.tmpGlFupY/rustsat/src/capi.rs:201
  function rustsat::capi::encodings::totalizer::tot_drop, previously in file /tmp/.tmpGlFupY/rustsat/src/capi.rs:226

--- failure module_missing: pub module removed or renamed ---

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

Failed in:
  mod rustsat::capi::encodings, previously in file /tmp/.tmpGlFupY/rustsat/src/capi.rs:9
  mod rustsat::capi, previously in file /tmp/.tmpGlFupY/rustsat/src/capi.rs:1
  mod rustsat::capi::encodings::totalizer, previously in file /tmp/.tmpGlFupY/rustsat/src/capi.rs:127

Changelog

rustsat

[0.4.0] - 2023-12-18

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

Bugfix

• Coarse convergence bounds
• Link capi tests to archive libs
• Typo in capi

rustsat-tools

[0.2.1] - 2023-12-18

Miscellaneous Tasks

• Updated the following local packages: rustsat

rustsat-cadical

[0.2.1] - 2023-12-18

Miscellaneous Tasks

• Updated the following local packages: rustsat

rustsat-kissat

[0.1.3] - 2023-12-18

Miscellaneous Tasks

• Updated the following local packages: rustsat

rustsat-glucose

[0.2.1] - 2023-12-18

Miscellaneous Tasks

• Updated the following local packages: rustsat

rustsat-minisat

[0.2.1] - 2023-12-18

Miscellaneous Tasks

• Updated the following local packages: rustsat

---

This PR was generated with release-plz.