chore: release #503

rustsat-release-plz-bot · 2025-10-18T11:12:28Z

🤖 New release

pigeons: 0.2.1 -> 0.3.0 (⚠ API breaking changes)
rustsat: 0.7.3 -> 0.8.0 (⚠ API breaking changes)
rustsat-batsat: 0.7.3 -> 0.8.0 (✓ API compatible changes)
rustsat-minisat: 0.7.3 -> 0.8.0 (✓ API compatible changes)
rustsat-cadical: 0.7.3 -> 0.8.0 (✓ API compatible changes)
rustsat-tools: 0.7.3 -> 0.8.0
rustsat-glucose: 0.7.3 -> 0.8.0 (✓ API compatible changes)
rustsat-ipasir: 0.7.3 -> 0.8.0 (✓ API compatible changes)
rustsat-kissat: 0.7.3 -> 0.8.0 (✓ API compatible changes)

⚠ `pigeons` breaking changes

--- failure feature_missing: package feature removed or renamed ---

Description:
A feature has been removed from this package's Cargo.toml. This will break downstream crates which enable that feature.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#cargo-feature-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.44.0/src/lints/feature_missing.ron

Failed in:
  feature all in the package's Cargo.toml

⚠ `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.44.0/src/lints/enum_missing.ron

Failed in:
  enum rustsat::encodings::totdb::Node, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/totdb.rs:718
  enum rustsat::encodings::totdb::Semantics, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/totdb.rs:638

--- failure feature_missing: package feature removed or renamed ---

Description:
A feature has been removed from this package's Cargo.toml. This will break downstream crates which enable that feature.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#cargo-feature-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.44.0/src/lints/feature_missing.ron

Failed in:
  feature all in the package's Cargo.toml
  feature internals in the package's Cargo.toml

--- 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.44.0/src/lints/function_missing.ron

Failed in:
  function rustsat::instances::fio::dimacs::parse_lit, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/instances/fio/dimacs.rs:491
  function rustsat::encodings::pb::dpw::con_weight_queue, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/dpw.rs:683
  function rustsat::encodings::pb::dpw::encode_output, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/dpw.rs:1010
  function rustsat::utils::digits, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/utils.rs:8
  function rustsat::encodings::pb::dpw::build_structure, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/dpw.rs:711
  function rustsat::instances::fio::opb::literal, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/instances/fio/opb.rs:226
  function rustsat::encodings::pb::dpw::lit_weight_queue, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/dpw.rs:665
  function rustsat::encodings::pb::dpw::merge_structures, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/dpw.rs:842
  function rustsat::encodings::pb::dpw::enforce_ub, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/dpw.rs:1040

--- failure inherent_method_missing: pub method removed or renamed ---

Description:
A publicly-visible method or associated fn is no longer available under its prior name. It 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.44.0/src/lints/inherent_method_missing.ron

Failed in:
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  Totalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:63
  GeneralizedTotalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/gte.rs:61
  GeneralizedTotalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/gte.rs:61
  GeneralizedTotalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/gte.rs:61
  GeneralizedTotalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/gte.rs:61
  GeneralizedTotalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/gte.rs:61
  GeneralizedTotalizer::from_raw, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/gte.rs:61
  DynamicPolyWatchdog::add_input, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/dpw.rs:100
  DynamicPolyWatchdog::add_input, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/dpw.rs:100

--- 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.44.0/src/lints/module_missing.ron

Failed in:
  mod rustsat::encodings::totdb, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings.rs:108
  mod rustsat::encodings::pb::gte::referenced, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/gte.rs:522
  mod rustsat::encodings::pb::dpw::referenced, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/dpw.rs:446
  mod rustsat::encodings::nodedb, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings.rs:88
  mod rustsat::encodings::totdb::cert, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/totdb/cert.rs:1
  mod rustsat::encodings::card::totalizer::referenced, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:679

--- failure struct_missing: pub struct removed or renamed ---

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

Failed in:
  struct rustsat::encodings::totdb::cert::SemDefs, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/totdb/cert.rs:1190
  struct rustsat::encodings::card::totalizer::referenced::Tot, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:704
  struct rustsat::encodings::pb::dpw::Structure, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/dpw.rs:227
  struct rustsat::encodings::totdb::AssignIter, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/totdb.rs:1530
  struct rustsat::encodings::pb::dpw::referenced::DynamicPolyWatchdog, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/dpw.rs:471
  struct rustsat::encodings::totdb::cert::SemDefId, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/totdb/cert.rs:1220
  struct rustsat::encodings::pb::gte::referenced::Gte, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/gte.rs:543
  struct rustsat::encodings::pb::adder::Structure, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/adder.rs:60
  struct rustsat::encodings::pb::gte::referenced::GteCell, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/gte.rs:560
  struct rustsat::encodings::card::totalizer::referenced::TotCell, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/card/totalizer.rs:720
  struct rustsat::encodings::nodedb::NodeId, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/nodedb.rs:23
  struct rustsat::encodings::totdb::Db, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/totdb.rs:45
  struct rustsat::encodings::pb::dpw::referenced::DynamicPolyWatchdogCell, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/pb/dpw.rs:486
  struct rustsat::encodings::nodedb::NodeCon, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/nodedb.rs:157
  struct rustsat::encodings::totdb::UnitNode, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/totdb.rs:1092
  struct rustsat::encodings::totdb::GeneralNode, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/totdb.rs:1150
  struct rustsat::NotAllowed, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/lib.rs:132

--- failure trait_missing: pub trait removed or renamed ---

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

Failed in:
  trait rustsat::encodings::nodedb::NodeLike, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/nodedb.rs:113
  trait rustsat::encodings::nodedb::NodeById, previously in file /tmp/nix-shell.q2Y25p/.tmpDuqTEL/rustsat/src/encodings/nodedb.rs:370

Changelog

`pigeons`

0.3.0 - 2025-10-18

Miscellaneous Tasks

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

`rustsat`

0.8.0 - 2025-10-18

Features

AsRef<Cl> for [Lit; N], Vec, and Cl (#499) (6a4fe5b)

`rustsat-batsat`

0.8.0 - 2025-10-18

Bug Fixes

Abstract timer and use std::time::Instant in wasm (aadef69), fixes rustsat-batsat depends on cpu_time, which isn't WASM-compatible #455

Miscellaneous Tasks

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

`rustsat-minisat`

0.8.0 - 2025-10-18

Bug Fixes

Abstract timer and use std::time::Instant in wasm (aadef69), fixes rustsat-batsat depends on cpu_time, which isn't WASM-compatible #455

Features

AsRef<Cl> for [Lit; N], Vec, and Cl (#499) (6a4fe5b)

Miscellaneous Tasks

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

`rustsat-cadical`

0.8.0 - 2025-10-18

Bug Fixes

Abstract timer and use std::time::Instant in wasm (aadef69), fixes rustsat-batsat depends on cpu_time, which isn't WASM-compatible #455

Auto cfg in documentation (#497) (c6623bf)

Miscellaneous Tasks

Clippy (844a209)

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

`rustsat-tools`

0.8.0 - 2025-10-18

Miscellaneous Tasks

Make paths relative to cargo manifest (87d6f2e)

Switch CI to nix (7c73dcf)

Refactor

Clearly mark internal features (bbba25f)

`rustsat-glucose`

0.8.0 - 2025-10-18

Bug Fixes

Abstract timer and use std::time::Instant in wasm (aadef69), fixes rustsat-batsat depends on cpu_time, which isn't WASM-compatible #455

Features

AsRef<Cl> for [Lit; N], Vec, and Cl (#499) (6a4fe5b)

Miscellaneous Tasks

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

`rustsat-ipasir`

0.8.0 - 2025-10-18

Bug Fixes

Abstract timer and use std::time::Instant in wasm (aadef69), fixes rustsat-batsat depends on cpu_time, which isn't WASM-compatible #455

Miscellaneous Tasks

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

`rustsat-kissat`

0.8.0 - 2025-10-18

Bug Fixes

Abstract timer and use std::time::Instant in wasm (aadef69), fixes rustsat-batsat depends on cpu_time, which isn't WASM-compatible #455

Features

Version 4.0.4 (750ab62)

Miscellaneous Tasks

Include keep-sorted formatter (46e505c)

Refactor

Clearly mark internal features (bbba25f)

This PR was generated with release-plz.

rustsat-release-plz-bot bot added the release label Oct 18, 2025

github-actions bot added solvers Related to solver interfaces c-api solvers/cadical solvers/kissat solvers/glucose solvers/minisat solvers/batsat pigeons Related to the `pigeons` VeriPB crate python-capi python-api labels Oct 18, 2025

chrjabs force-pushed the main branch from f714368 to 0807b9e Compare October 18, 2025 11:23

chore: release

b794d41

rustsat-release-plz-bot bot force-pushed the release-plz-2025-10-18T11-12-26Z branch from 53927e4 to b794d41 Compare October 18, 2025 11:31

rustsat-release-plz-bot bot and others added 4 commits October 18, 2025 14:31

chore(capi): update version in header

14a3e96

chore(capi): update changelog

490d480

chore(pyapi): update changelog

3c82d3a

manual fixup of release

e9a2038

chrjabs marked this pull request as ready for review October 18, 2025 11:38

github-actions bot added the github_actions Pull requests that update GitHub Actions code label Oct 18, 2025

fix msrv checks

c5607bb

chrjabs force-pushed the release-plz-2025-10-18T11-12-26Z branch from 69d7205 to c5607bb Compare October 18, 2025 11:54

chrjabs enabled auto-merge (squash) October 18, 2025 12:13

chrjabs merged commit 1188126 into main Oct 18, 2025
19 checks passed

chrjabs deleted the release-plz-2025-10-18T11-12-26Z branch October 18, 2025 13:11

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Uh oh!

chore: release #503

chore: release #503

Uh oh!

rustsat-release-plz-bot bot commented Oct 18, 2025 •

edited

Loading

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Uh oh!

chore: release #503

chore: release #503

Uh oh!

Conversation

rustsat-release-plz-bot bot commented Oct 18, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

🤖 New release

⚠ pigeons breaking changes

⚠ rustsat breaking changes

pigeons

0.3.0 - 2025-10-18

Miscellaneous Tasks

Refactor

rustsat

0.8.0 - 2025-10-18

Features

rustsat-batsat

0.8.0 - 2025-10-18

Bug Fixes

Miscellaneous Tasks

Refactor

rustsat-minisat

0.8.0 - 2025-10-18

Bug Fixes

Features

Miscellaneous Tasks

Refactor

rustsat-cadical

0.8.0 - 2025-10-18

Bug Fixes

Miscellaneous Tasks

Refactor

rustsat-tools

0.8.0 - 2025-10-18

Miscellaneous Tasks

Refactor

rustsat-glucose

0.8.0 - 2025-10-18

Bug Fixes

Features

Miscellaneous Tasks

Refactor

rustsat-ipasir

0.8.0 - 2025-10-18

Bug Fixes

Miscellaneous Tasks

Refactor

rustsat-kissat

0.8.0 - 2025-10-18

Bug Fixes

Features

Miscellaneous Tasks

Refactor

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

rustsat-release-plz-bot bot commented Oct 18, 2025 •

edited

Loading

⚠ `pigeons` breaking changes

⚠ `rustsat` breaking changes

`pigeons`

`rustsat`

`rustsat-batsat`

`rustsat-minisat`

`rustsat-cadical`

`rustsat-tools`

`rustsat-glucose`

`rustsat-ipasir`

`rustsat-kissat`