chore: release #141

rustsat-release-plz-bot · 2024-10-15T06:23:42Z

🤖 New release

rustsat-tools: 0.3.1 -> 0.4.0 (⚠️ API breaking changes)
rustsat: 0.5.1 -> 0.6.0 (⚠️ API breaking changes)
rustsat-minisat: 0.3.1 -> 0.4.0 (✓ API compatible changes)
rustsat-cadical: 0.3.1 -> 0.4.0 (✓ API compatible changes)
rustsat-kissat: 0.2.1 -> 0.3.0 (⚠️ API breaking changes)
rustsat-glucose: 0.3.1 -> 0.3.2 (✓ API compatible changes)
rustsat-ipasir: 0.1.1 -> 0.1.2 (✓ 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.35.0/src/lints/enum_missing.ron

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

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

Failed in:
  function rustsat_tools::encodings::clustering::scaling_map, previously in file /tmp/.tmphCzCAQ/rustsat-tools/src/encodings/clustering.rs:433
  function rustsat_tools::encodings::clustering::saturating_map, previously in file /tmp/.tmphCzCAQ/rustsat-tools/src/encodings/clustering.rs:437

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

Failed in:
  mod rustsat_tools::encodings::clustering, previously in file /tmp/.tmphCzCAQ/rustsat-tools/src/encodings/clustering.rs:1

--- 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.35.0/src/lints/struct_missing.ron

Failed in:
  struct rustsat_tools::encodings::clustering::Encoding, previously in file /tmp/.tmphCzCAQ/rustsat-tools/src/encodings/clustering.rs:150
  struct rustsat_tools::encodings::knapsack::Encoding, previously in file /tmp/.tmphCzCAQ/rustsat-tools/src/encodings/knapsack.rs:69

⚠️ `rustsat` breaking changes

--- failure enum_variant_added: enum variant added on exhaustive enum ---

Description:
A publicly-visible enum without #[non_exhaustive] has a new variant.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#enum-variant-new
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.35.0/src/lints/enum_variant_added.ron

Failed in:
  variant SolverState:Unknown in /tmp/.tmpyDI8Ns/rustsat/src/solvers.rs:574
  variant PbConstraint:Ub in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1000
  variant PbConstraint:Lb in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1002
  variant PbConstraint:Eq in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1004
  variant CardConstraint:Ub in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:528
  variant CardConstraint:Lb in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:530
  variant CardConstraint:Eq in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:532

--- failure enum_variant_missing: pub enum variant removed or renamed ---

Description:
A publicly-visible enum has at least one variant that 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.35.0/src/lints/enum_variant_missing.ron

Failed in:
  variant PbConstraint::UB, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:625
  variant PbConstraint::LB, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:627
  variant PbConstraint::EQ, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:629
  variant CardConstraint::UB, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:318
  variant CardConstraint::LB, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:320
  variant CardConstraint::EQ, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:322

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

Failed in:
  function rustsat::encodings::am1::new_default_am1, previously in file /tmp/.tmphCzCAQ/rustsat/src/encodings/am1.rs:47

--- failure function_must_use_added: function #[must_use] added ---

Description:
A function is now #[must_use]. Downstream crates that did not use its return value will get a compiler lint.
        ref: https://doc.rust-lang.org/reference/attributes/diagnostics.html#the-must_use-attribute
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.35.0/src/lints/function_must_use_added.ron

Failed in:
  function rustsat::encodings::atomics::lit_impl_lit in /tmp/.tmpyDI8Ns/rustsat/src/encodings/atomics.rs:12
  function rustsat::encodings::card::new_default_ub in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card.rs:355
  function rustsat::encodings::card::new_default_inc_lb in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card.rs:379
  function rustsat::encodings::pb::new_default_ub in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb.rs:400
  function rustsat::encodings::card::new_default_both in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card.rs:367
  function rustsat::encodings::pb::new_default_inc_ub in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb.rs:418
  function rustsat::encodings::atomics::lit_impl_clause in /tmp/.tmpyDI8Ns/rustsat/src/encodings/atomics.rs:18
  function rustsat::encodings::card::new_default_inc_ub in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card.rs:373
  function rustsat::encodings::atomics::cube_impl_clause in /tmp/.tmpyDI8Ns/rustsat/src/encodings/atomics.rs:34
  function rustsat::encodings::pb::new_default_inc_lb in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb.rs:424
  function rustsat::encodings::card::new_default_inc_both in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card.rs:385
  function rustsat::encodings::atomics::cube_impl_lit in /tmp/.tmpyDI8Ns/rustsat/src/encodings/atomics.rs:26
  function rustsat::encodings::pb::new_default_inc_both in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb.rs:430
  function rustsat::utils::digits in /tmp/.tmpyDI8Ns/rustsat/src/utils.rs:8
  function rustsat::encodings::pb::new_default_both in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb.rs:412
  function rustsat::encodings::card::new_default_lb in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card.rs:361
  function rustsat::encodings::pb::new_default_lb in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb.rs:406

--- 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.35.0/src/lints/inherent_method_missing.ron

Failed in:
  Clause::lits, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:39
  Clause::len, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:45
  Clause::is_empty, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:51
  Clause::evaluate, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:56
  Clause::iter, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:73
  Clause::iter_mut, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:79
  Clause::is_sat, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:141
  Clause::is_unit, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:152
  Clause::is_binary, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:157
  Clause::lits, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:39
  Clause::len, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:45
  Clause::is_empty, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:51
  Clause::evaluate, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:56
  Clause::iter, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:73
  Clause::iter_mut, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:79
  Clause::is_sat, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:141
  Clause::is_unit, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:152
  Clause::is_binary, previously in file /tmp/.tmphCzCAQ/rustsat/src/types/constraints.rs:157

--- failure inherent_method_must_use_added: inherent method #[must_use] added ---

Description:
An inherent method is now #[must_use]. Downstream crates that did not use its return value will get a compiler lint.
        ref: https://doc.rust-lang.org/reference/attributes/diagnostics.html#the-must_use-attribute
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.35.0/src/lints/inherent_method_must_use_added.ron

Failed in:
  method rustsat::encodings::card::dbtotalizer::referenced::Tot::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/dbtotalizer.rs:1120
  method rustsat::types::constraints::PBConstraint::is_tautology in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1138
  method rustsat::types::constraints::PBConstraint::is_unsat in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1148
  method rustsat::types::constraints::PBConstraint::is_positive_assignment in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1158
  method rustsat::types::constraints::PBConstraint::is_negative_assignment in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1168
  method rustsat::types::constraints::PBConstraint::is_card in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1178
  method rustsat::types::constraints::PBConstraint::is_clause in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1188
  method rustsat::types::constraints::PBConstraint::normalize in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1199
  method rustsat::types::constraints::PBConstraint::as_clause in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1313
  method rustsat::types::constraints::PBConstraint::into_lits in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1335
  method rustsat::types::constraints::PBConstraint::is_sat in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1410
  method rustsat::instances::ObjectVarManager::from_next_free in /tmp/.tmpyDI8Ns/rustsat/src/instances.rs:247
  method rustsat::types::Assignment::var_value in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:746
  method rustsat::types::Assignment::lit_value in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:756
  method rustsat::types::Assignment::truncate in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:802
  method rustsat::types::Assignment::max_var in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:813
  method rustsat::encodings::card::dbtotalizer::referenced::TotCell::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/dbtotalizer.rs:1133
  method rustsat::encodings::card::dbtotalizer::Node::lit in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/dbtotalizer.rs:377
  method rustsat::encodings::card::dbtotalizer::Node::encoded_pos in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/dbtotalizer.rs:393
  method rustsat::instances::ReindexingVarManager::from_next_free in /tmp/.tmpyDI8Ns/rustsat/src/instances.rs:160
  method rustsat::types::constraints::CardUBConstr::decompose in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:838
  method rustsat::types::constraints::CardUBConstr::is_tautology in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:849
  method rustsat::types::constraints::CardUBConstr::is_negative_assignment in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:855
  method rustsat::types::constraints::CardUBConstr::is_clause in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:861
  method rustsat::encodings::pb::dbgte::referenced::GteCell::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dbgte.rs:382
  method rustsat::instances::MultiOptInstance::shuffle in /tmp/.tmpyDI8Ns/rustsat/src/instances/multiopt.rs:278
  method rustsat::instances::MultiOptInstance::new in /tmp/.tmpyDI8Ns/rustsat/src/instances/multiopt.rs:496
  method rustsat::encodings::pb::dpw::referenced::DynamicPolyWatchdogCell::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dpw.rs:503
  method rustsat::types::Lit::new in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:313
  method rustsat::types::Lit::new_unchecked in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:342
  method rustsat::types::Lit::positive in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:353
  method rustsat::types::Lit::negative in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:361
  method rustsat::types::Lit::positive_unchecked in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:394
  method rustsat::types::Lit::negative_unchecked in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:407
  method rustsat::types::Lit::vidx in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:430
  method rustsat::types::Lit::vidx32 in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:437
  method rustsat::types::Lit::lidx in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:444
  method rustsat::types::Lit::var in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:460
  method rustsat::types::Lit::is_pos in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:467
  method rustsat::types::Lit::is_neg in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:474
  method rustsat::types::Lit::to_ipasir in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:490
  method rustsat::encodings::pb::dpw::Structure::root in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dpw.rs:246
  method rustsat::encodings::pb::dpw::Structure::output_power in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dpw.rs:252
  method rustsat::encodings::card::dbtotalizer::GeneralNode::lit in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/dbtotalizer.rs:551
  method rustsat::encodings::card::dbtotalizer::GeneralNode::encoded_pos in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/dbtotalizer.rs:558
  method rustsat::types::constraints::Clause::new in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:59
  method rustsat::types::constraints::Clause::normalize in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:118
  method rustsat::types::constraints::Clause::sanitize in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:146
  method rustsat::types::Clause::new in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:59
  method rustsat::types::Clause::normalize in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:118
  method rustsat::types::Clause::sanitize in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:146
  method rustsat::encodings::pb::DefUpperBounding::tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/gte.rs:110
  method rustsat::encodings::pb::DefIncUpperBounding::tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/gte.rs:110
  method rustsat::encodings::pb::gte::GeneralizedTotalizer::tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/gte.rs:110
  method rustsat::encodings::pb::GeneralizedTotalizer::tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/gte.rs:110
  method rustsat::encodings::card::totalizer::Totalizer::build_tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:55
  method rustsat::encodings::card::totalizer::Totalizer::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:89
  method rustsat::encodings::card::totalizer::Totalizer::tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:100
  method rustsat::encodings::card::Totalizer::build_tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:55
  method rustsat::encodings::card::Totalizer::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:89
  method rustsat::encodings::card::Totalizer::tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:100
  method rustsat::encodings::card::DefUpperBounding::build_tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:55
  method rustsat::encodings::card::DefUpperBounding::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:89
  method rustsat::encodings::card::DefUpperBounding::tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:100
  method rustsat::encodings::card::DefLowerBounding::build_tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:55
  method rustsat::encodings::card::DefLowerBounding::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:89
  method rustsat::encodings::card::DefLowerBounding::tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:100
  method rustsat::encodings::card::DefBothBounding::build_tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:55
  method rustsat::encodings::card::DefBothBounding::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:89
  method rustsat::encodings::card::DefBothBounding::tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:100
  method rustsat::encodings::card::DefIncUpperBounding::build_tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:55
  method rustsat::encodings::card::DefIncUpperBounding::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:89
  method rustsat::encodings::card::DefIncUpperBounding::tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:100
  method rustsat::encodings::card::DefIncLowerBounding::build_tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:55
  method rustsat::encodings::card::DefIncLowerBounding::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:89
  method rustsat::encodings::card::DefIncLowerBounding::tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:100
  method rustsat::encodings::card::DefIncBothBounding::build_tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:55
  method rustsat::encodings::card::DefIncBothBounding::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:89
  method rustsat::encodings::card::DefIncBothBounding::tree in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:100
  method rustsat::types::constraints::PBLBConstr::decompose in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1581
  method rustsat::types::constraints::PBLBConstr::is_tautology in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1592
  method rustsat::types::constraints::PBLBConstr::is_unsat in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1598
  method rustsat::types::constraints::PBLBConstr::is_positive_assignment in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1607
  method rustsat::types::constraints::PBLBConstr::find_unit_weight in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1621
  method rustsat::types::constraints::PBLBConstr::is_clause in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1637
  method rustsat::types::constraints::CardEQConstr::decompose in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:946
  method rustsat::types::constraints::CardEQConstr::is_unsat in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:957
  method rustsat::types::constraints::CardEQConstr::is_positive_assignment in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:963
  method rustsat::types::constraints::CardEQConstr::is_negative_assignment in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:969
  method rustsat::encodings::pb::dpw::referenced::DynamicPolyWatchdog::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dpw.rs:490
  method rustsat::types::constraints::CardLBConstr::decompose in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:889
  method rustsat::types::constraints::CardLBConstr::is_tautology in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:900
  method rustsat::types::constraints::CardLBConstr::is_unsat in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:906
  method rustsat::types::constraints::CardLBConstr::is_positive_assignment in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:912
  method rustsat::types::constraints::CardLBConstr::is_clause in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:918
  method rustsat::types::TernaryVal::to_bool_with_def in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:644
  method rustsat::encodings::pb::dpw::DynamicPolyWatchdog::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dpw.rs:87
  method rustsat::encodings::pb::dpw::DynamicPolyWatchdog::next_precision in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dpw.rs:149
  method rustsat::encodings::pb::dpw::DynamicPolyWatchdog::is_max_precision in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dpw.rs:160
  method rustsat::encodings::pb::DynamicPolyWatchdog::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dpw.rs:87
  method rustsat::encodings::pb::DynamicPolyWatchdog::next_precision in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dpw.rs:149
  method rustsat::encodings::pb::DynamicPolyWatchdog::is_max_precision in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dpw.rs:160
  method rustsat::encodings::pb::dbgte::referenced::Gte::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dbgte.rs:361
  method rustsat::instances::Objective::new in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:69
  method rustsat::instances::Objective::is_empty in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:75
  method rustsat::instances::Objective::constant in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:93
  method rustsat::instances::Objective::n_lits in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:110
  method rustsat::instances::Objective::n_clauses in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:119
  method rustsat::instances::Objective::n_softs in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:128
  method rustsat::instances::Objective::lit_weight_sum in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:134
  method rustsat::instances::Objective::clause_weight_sum in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:147
  method rustsat::instances::Objective::weight_sum in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:160
  method rustsat::instances::Objective::max_lit_weight in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:166
  method rustsat::instances::Objective::max_clause_weight in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:179
  method rustsat::instances::Objective::max_weight in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:192
  method rustsat::instances::Objective::min_lit_weight in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:198
  method rustsat::instances::Objective::min_clause_weight in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:211
  method rustsat::instances::Objective::min_weight in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:222
  method rustsat::instances::Objective::evaluate in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:233
  method rustsat::instances::Objective::evaluate_no_offset in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:243
  method rustsat::instances::Objective::offset in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:306
  method rustsat::instances::Objective::weighted in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:323
  method rustsat::instances::Objective::lit_weight in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:551
  method rustsat::instances::Objective::clause_weight in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:570
  method rustsat::instances::Objective::as_soft_cls in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:594
  method rustsat::instances::Objective::into_soft_cls in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:600
  method rustsat::instances::Objective::as_unweighted_soft_cls in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:642
  method rustsat::instances::Objective::into_unweighted_soft_cls in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:650
  method rustsat::instances::Objective::max_var in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:812
  method rustsat::instances::Objective::reindex in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:852
  method rustsat::instances::Objective::normalize in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:935
  method rustsat::instances::Objective::shuffle in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:953
  method rustsat::instances::Objective::iter_soft_cls in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:992
  method rustsat::encodings::card::dbtotalizer::DbTotalizer::from_raw in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/dbtotalizer.rs:55
  method rustsat::encodings::card::dbtotalizer::DbTotalizer::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/dbtotalizer.rs:81
  method rustsat::encodings::card::DbTotalizer::from_raw in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/dbtotalizer.rs:55
  method rustsat::encodings::card::DbTotalizer::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/dbtotalizer.rs:81
  method rustsat::encodings::card::totalizer::Node::new_leaf in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:375
  method rustsat::encodings::card::totalizer::Node::new_internal in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:381
  method rustsat::encodings::card::totalizer::Node::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:396
  method rustsat::encodings::card::totalizer::Node::max_val in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/totalizer.rs:405
  method rustsat::instances::Cnf::new in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:48
  method rustsat::instances::Cnf::with_capacity in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:54
  method rustsat::instances::Cnf::capacity in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:79
  method rustsat::instances::Cnf::is_empty in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:86
  method rustsat::instances::Cnf::len in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:93
  method rustsat::instances::Cnf::join in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:156
  method rustsat::instances::Cnf::normalize in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:175
  method rustsat::instances::Cnf::sanitize in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:189
  method rustsat::instances::Cnf::shuffle in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:198
  method rustsat::instances::SatInstance::reindex in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:742
  method rustsat::instances::SatInstance::shuffle in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:800
  method rustsat::instances::SatInstance::sanitize in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:968
  method rustsat::instances::SatInstance::is_sat in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:1083
  method rustsat::instances::SatInstance::new in /tmp/.tmpyDI8Ns/rustsat/src/instances/sat.rs:1111
  method rustsat::encodings::pb::dbgte::DbGte::from_raw in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dbgte.rs:52
  method rustsat::encodings::pb::dbgte::DbGte::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dbgte.rs:112
  method rustsat::encodings::pb::DbGte::from_raw in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dbgte.rs:52
  method rustsat::encodings::pb::DbGte::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/dbgte.rs:112
  method rustsat::types::constraints::CardConstraint::is_tautology in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:634
  method rustsat::types::constraints::CardConstraint::is_unsat in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:644
  method rustsat::types::constraints::CardConstraint::is_positive_assignment in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:654
  method rustsat::types::constraints::CardConstraint::is_negative_assignment in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:664
  method rustsat::types::constraints::CardConstraint::is_clause in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:674
  method rustsat::types::constraints::CardConstraint::normalize in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:685
  method rustsat::types::constraints::CardConstraint::into_lits in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:702
  method rustsat::types::constraints::CardConstraint::as_clause in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:717
  method rustsat::types::constraints::CardConstraint::is_sat in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:784
  method rustsat::encodings::pb::gte::Node::new_leaf in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/gte.rs:374
  method rustsat::encodings::pb::gte::Node::new_internal in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/gte.rs:380
  method rustsat::encodings::pb::gte::Node::depth in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/gte.rs:394
  method rustsat::encodings::pb::gte::Node::max_val in /tmp/.tmpyDI8Ns/rustsat/src/encodings/pb/gte.rs:403
  method rustsat::types::constraints::PBUBConstr::decompose in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1484
  method rustsat::types::constraints::PBUBConstr::is_tautology in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1495
  method rustsat::types::constraints::PBUBConstr::is_unsat in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1504
  method rustsat::types::constraints::PBUBConstr::is_negative_assignment in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1510
  method rustsat::types::constraints::PBUBConstr::find_unit_weight in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1524
  method rustsat::types::constraints::PBUBConstr::is_clause in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1540
  method rustsat::encodings::nodedb::NodeCon::full in /tmp/.tmpyDI8Ns/rustsat/src/encodings/nodedb.rs:173
  method rustsat::encodings::nodedb::NodeCon::weighted in /tmp/.tmpyDI8Ns/rustsat/src/encodings/nodedb.rs:189
  method rustsat::encodings::nodedb::NodeCon::offset_weighted in /tmp/.tmpyDI8Ns/rustsat/src/encodings/nodedb.rs:206
  method rustsat::encodings::nodedb::NodeCon::single in /tmp/.tmpyDI8Ns/rustsat/src/encodings/nodedb.rs:223
  method rustsat::encodings::nodedb::NodeCon::limited in /tmp/.tmpyDI8Ns/rustsat/src/encodings/nodedb.rs:241
  method rustsat::encodings::nodedb::NodeCon::reweight in /tmp/.tmpyDI8Ns/rustsat/src/encodings/nodedb.rs:260
  method rustsat::encodings::nodedb::NodeCon::offset in /tmp/.tmpyDI8Ns/rustsat/src/encodings/nodedb.rs:270
  method rustsat::encodings::nodedb::NodeCon::divisor in /tmp/.tmpyDI8Ns/rustsat/src/encodings/nodedb.rs:277
  method rustsat::encodings::nodedb::NodeCon::multiplier in /tmp/.tmpyDI8Ns/rustsat/src/encodings/nodedb.rs:285
  method rustsat::encodings::nodedb::NodeCon::map in /tmp/.tmpyDI8Ns/rustsat/src/encodings/nodedb.rs:292
  method rustsat::encodings::nodedb::NodeCon::rev_map in /tmp/.tmpyDI8Ns/rustsat/src/encodings/nodedb.rs:303
  method rustsat::encodings::nodedb::NodeCon::rev_map_round_up in /tmp/.tmpyDI8Ns/rustsat/src/encodings/nodedb.rs:317
  method rustsat::encodings::nodedb::NodeCon::is_possible in /tmp/.tmpyDI8Ns/rustsat/src/encodings/nodedb.rs:332
  method rustsat::types::constraints::PBEQConstr::decompose in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1677
  method rustsat::types::constraints::PBEQConstr::is_unsat in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1691
  method rustsat::types::constraints::PBEQConstr::is_positive_assignment in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1700
  method rustsat::types::constraints::PBEQConstr::is_negative_assignment in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1709
  method rustsat::types::constraints::PBEQConstr::find_unit_weight in /tmp/.tmpyDI8Ns/rustsat/src/types/constraints.rs:1718
  method rustsat::instances::OptInstance::reindex in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:1230
  method rustsat::instances::OptInstance::shuffle in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:1266
  method rustsat::instances::OptInstance::new in /tmp/.tmpyDI8Ns/rustsat/src/instances/opt.rs:1470
  method rustsat::types::Var::new in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:62
  method rustsat::types::Var::new_unchecked in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:90
  method rustsat::types::Var::pos_lit in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:123
  method rustsat::types::Var::neg_lit in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:139
  method rustsat::types::Var::idx in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:157
  method rustsat::types::Var::idx32 in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:172
  method rustsat::types::Var::to_ipasir in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:187
  method rustsat::encodings::card::dbtotalizer::UnitNode::lit in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/dbtotalizer.rs:494
  method rustsat::encodings::card::dbtotalizer::UnitNode::encoded_pos in /tmp/.tmpyDI8Ns/rustsat/src/encodings/card/dbtotalizer.rs:501
  method rustsat::instances::BasicVarManager::from_next_free in /tmp/.tmpyDI8Ns/rustsat/src/instances.rs:98

--- failure inherent_method_unsafe_added: pub method became unsafe ---

Description:
A publicly-visible method or associated fn became `unsafe`, so calling it now requires an `unsafe` block.
        ref: https://doc.rust-lang.org/book/ch19-01-unsafe-rust.html#calling-an-unsafe-function-or-method
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.35.0/src/lints/inherent_method_unsafe_added.ron

Failed in:
  Lit::new_unchecked in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:342
  Lit::positive_unchecked in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:394
  Lit::negative_unchecked in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:407
  Var::new_unchecked in /tmp/.tmpyDI8Ns/rustsat/src/types.rs:90

⚠️ `rustsat-kissat` breaking changes

--- failure enum_variant_added: enum variant added on exhaustive enum ---

Description:
A publicly-visible enum without #[non_exhaustive] has a new variant.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#enum-variant-new
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.35.0/src/lints/enum_variant_added.ron

Failed in:
  variant Config:Sat in /tmp/.tmpyDI8Ns/rustsat/kissat/src/lib.rs:443
  variant Config:Unsat in /tmp/.tmpyDI8Ns/rustsat/kissat/src/lib.rs:445

--- failure enum_variant_missing: pub enum variant removed or renamed ---

Description:
A publicly-visible enum has at least one variant that 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.35.0/src/lints/enum_variant_missing.ron

Failed in:
  variant Config::SAT, previously in file /tmp/.tmphCzCAQ/rustsat-kissat/src/lib.rs:402
  variant Config::UNSAT, previously in file /tmp/.tmphCzCAQ/rustsat-kissat/src/lib.rs:404

--- failure inherent_method_must_use_added: inherent method #[must_use] added ---

Description:
An inherent method is now #[must_use]. Downstream crates that did not use its return value will get a compiler lint.
        ref: https://doc.rust-lang.org/reference/attributes/diagnostics.html#the-must_use-attribute
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.35.0/src/lints/inherent_method_must_use_added.ron

Failed in:
  method rustsat_kissat::Kissat::commit_id in /tmp/.tmpyDI8Ns/rustsat/kissat/src/lib.rs:115
  method rustsat_kissat::Kissat::version in /tmp/.tmpyDI8Ns/rustsat/kissat/src/lib.rs:127
  method rustsat_kissat::Kissat::compiler in /tmp/.tmpyDI8Ns/rustsat/kissat/src/lib.rs:141

Changelog

`rustsat-tools`

[0.4.0] - 2024-10-16

Features

pb knapsack encoding

pb assignment problem encoding

check-solution tool to verify solutions

Make gbmosplit work with wcnf and opb

mo2ilp tool

Uncapacitated facility location encoding

Remove gaps in variable indexing

Assign unused variables to zero by default

Miscellaneous Tasks

Clippy

Misc

Set up nix dev shell and tools package

`rustsat`

[0.6.0] - 2024-10-16

Bug Fixes

Pin python runners to ubuntu-22.04

Pin capi runner to ubuntu-22.04

Pin maturin to 1.6.0 for sdist build

Documentation

Fix ambiguous links

Mark internals properly

Fix typos

Features

External solver interface

Batsat solver interface

Generalize batsat interface

lit method for Var

Implement Default for TernaryVal

iter method for Assignment

is_sat for Cnf and Assignment ergonomics

Propagate trait

Cl as light-weight DST for clauses

[breaking] Add evaluate, replacing is_sat

Add generalized totalizer to capi

Cnf::clear

Ladder at-most-one encoding

Bitwise at-most-one encoding

Commander at-most-one encoding

Bimander at-most-one encoding

Miscellaneous Tasks

Move main crate to project root

Pedantic clippy

[breaking] Breaking clippy suggestions

[breaking] Rename constraint types

Ci for next-major branch

Update pages on every main commit

Update dependencies

Run clippy nightly on prs

Only set rustsat release as "latest" on github

Update dependencies

Clippy

Update maturin and mypy

Update python packages

Bump pyo3 from 0.22.3 to 0.22.4

Bump install-pinned/mypy

Bump cc from 1.1.28 to 1.1.30

Bump pyo3 from 0.22.4 to 0.22.5

Refactor

[breaking] Make reading functions take reader by reference

Use bindgen to generate solver bindings

Testing

Paths relative to manifest

Basic kani harnesses for Var and Lit

Api

[breaking] Mark unchecked functions as unsafe

Misc

Clippy with most-recent nightly

Set up nix dev shell and tools package

`rustsat-minisat`

[0.4.0] - 2024-10-16

Features

Propagate trait

Cl as light-weight DST for clauses

Miscellaneous Tasks

Move main crate to project root

Pedantic clippy

Refactor

[breaking] Make reading functions take reader by reference

Use bindgen to generate solver bindings

`rustsat-cadical`

[0.4.0] - 2024-10-16

Bug Fixes

Ensure solvers are always linked statically

Don't unnecessarily rebuild cadical

Accidental double init

Use cargo: syntax for backwards compat

Documentation

Describe cpp source customization

Features

CaDiCal Version 2.0.0

Propagate trait

Cl as light-weight DST for clauses

Allow applying custom patches

Allow specifying custom cpp src directory

Support version 2.1.0

Miscellaneous Tasks

Fix stray feature reference

Move main crate to project root

Pedantic clippy

[breaking] Breaking clippy suggestions

Refactor

[breaking] Make reading functions take reader by reference

Use bindgen to generate solver bindings

Testing

Add tests for FlipLit trait

Misc

Set up nix dev shell and tools package

Refac

Keep patch code in separate files

`rustsat-kissat`

[0.3.0] - 2024-10-16

Bug Fixes

Ensure solvers are always linked statically

Features

Cl as light-weight DST for clauses

Kissat v4.0.0

Support version 4.0.1

Miscellaneous Tasks

Move main crate to project root

Pedantic clippy

[breaking] Breaking clippy suggestions

Refactor

[breaking] Make reading functions take reader by reference

Use bindgen to generate solver bindings

Misc

Set up nix dev shell and tools package

`rustsat-glucose`

[0.3.2] - 2024-10-16

Bug Fixes

Ensure solvers are always linked statically

Features

Propagate trait

Cl as light-weight DST for clauses

Miscellaneous Tasks

Move main crate to project root

Pedantic clippy

Refactor

Use bindgen to generate solver bindings

`rustsat-ipasir`

[0.1.2] - 2024-10-16

Features

Cl as light-weight DST for clauses

Miscellaneous Tasks

Move main crate to project root

Pedantic clippy

This PR was generated with release-plz.

rustsat-release-plz-bot bot added the release label Oct 15, 2024

rustsat-release-plz-bot bot force-pushed the release-plz-2024-10-15T06-23-37Z branch 2 times, most recently from 7e67921 to ca48307 Compare October 16, 2024 06:21

chore: release

1cfb3cb

rustsat-release-plz-bot bot force-pushed the release-plz-2024-10-15T06-23-37Z branch from ca48307 to 1cfb3cb Compare October 16, 2024 12:40

chore: manual release tasks

966edfa

chrjabs merged commit 4ea4fa6 into main Oct 16, 2024
48 of 49 checks passed

chrjabs deleted the release-plz-2024-10-15T06-23-37Z branch October 16, 2024 13:18

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

chore: release #141

chore: release #141

rustsat-release-plz-bot bot commented Oct 15, 2024 •

edited

Loading

chore: release #141

chore: release #141

Conversation

rustsat-release-plz-bot bot commented Oct 15, 2024 • edited Loading

🤖 New release

⚠️ rustsat-tools breaking changes

⚠️ rustsat breaking changes

⚠️ rustsat-kissat breaking changes

rustsat-tools

[0.4.0] - 2024-10-16

Features

Miscellaneous Tasks

Misc

rustsat

[0.6.0] - 2024-10-16

Bug Fixes

Documentation

Features

Miscellaneous Tasks

Refactor

Testing

Api

Misc

rustsat-minisat

[0.4.0] - 2024-10-16

Features

Miscellaneous Tasks

Refactor

rustsat-cadical

[0.4.0] - 2024-10-16

Bug Fixes

Documentation

Features

Miscellaneous Tasks

Refactor

Testing

Misc

Refac

rustsat-kissat

[0.3.0] - 2024-10-16

Bug Fixes

Features

Miscellaneous Tasks

Refactor

Misc

rustsat-glucose

[0.3.2] - 2024-10-16

Bug Fixes

Features

Miscellaneous Tasks

Refactor

rustsat-ipasir

[0.1.2] - 2024-10-16

Features

Miscellaneous Tasks

rustsat-release-plz-bot bot commented Oct 15, 2024 •

edited

Loading

⚠️ `rustsat-tools` breaking changes

⚠️ `rustsat` breaking changes

⚠️ `rustsat-kissat` breaking changes

`rustsat-tools`

`rustsat`

`rustsat-minisat`

`rustsat-cadical`

`rustsat-kissat`

`rustsat-glucose`

`rustsat-ipasir`