chore: Release packages

[github-actions]

🤖 New release

• fzn-rs-derive: 0.1.1 -> 0.1.2
• pumpkin-checking: 0.4.0 -> 0.5.0 (✓ API compatible changes)
• pumpkin-core: 0.4.0 -> 0.5.0 (⚠ API breaking changes)
• pumpkin-conflict-resolvers: 0.4.0 -> 0.5.0 (⚠ API breaking changes)
• pumpkin-propagators: 0.4.0 -> 0.5.0 (⚠ API breaking changes)
• pumpkin-constraints: 0.4.0 -> 0.5.0 (✓ API compatible changes)
• pumpkin-solver: 0.4.0 -> 0.5.0 (✓ API compatible changes)
• pumpkin-checker: 0.4.0 -> 0.5.0 (✓ API compatible changes)
• fzn-rs: 0.1.1 -> 0.1.2

⚠ pumpkin-core breaking changes

--- failure constructible_struct_adds_field: externally-constructible struct adds field ---

Description:
A pub struct constructible with a struct literal has a new pub field. Existing struct literals must be updated to include the new field.
        ref: https://doc.rust-lang.org/reference/expressions/struct-expr.html
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/constructible_struct_adds_field.ron

Failed in:
  field LearningOptions.nogood_propagator_priority in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/propagators/nogoods/learning_options.rs:42
  field LearningOptions.nogood_propagator_priority in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/propagators/nogoods/learning_options.rs:42
  field SatisfactionSolverOptions.analysis_mode in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/engine/constraint_satisfaction_solver.rs:178

--- 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.48.0/src/lints/enum_variant_added.ron

Failed in:
  variant ConflictResolverType:OneUIP in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/engine/constraint_satisfaction_solver.rs:151
  variant ConflictResolverType:AllDecision in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/engine/constraint_satisfaction_solver.rs:154
  variant ConflictResolverType:ExtendedCPIP in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/engine/constraint_satisfaction_solver.rs:158
  variant ConflictResolverType:BoundsExtendedCPIP in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/engine/constraint_satisfaction_solver.rs:162

--- 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.48.0/src/lints/enum_variant_missing.ron

Failed in:
  variant ConflictResolverType::UIP, previously in file /tmp/.tmpoQMQAa/pumpkin-core/src/engine/constraint_satisfaction_solver.rs:147

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

Failed in:
  PropagatorConstructorContext::will_not_register_any_events, previously in file /tmp/.tmpoQMQAa/pumpkin-core/src/propagation/constructor.rs:133
  PropagatorConstructorContext::register, previously in file /tmp/.tmpoQMQAa/pumpkin-core/src/propagation/constructor.rs:152
  PropagatorConstructorContext::add_inference_checker, previously in file /tmp/.tmpoQMQAa/pumpkin-core/src/propagation/constructor.rs:235

--- failure inherent_method_now_returns_unit: inherent method now returns unit ---

Description:
A publicly-visible method that used to return a value now returns `()`.
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/inherent_method_now_returns_unit.ron
Failed in:
  pumpkin_core::Solver::add_clause in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/api/solver.rs:571
  pumpkin_core::constraints::ConstraintPoster::post in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/constraints/constraint_poster.rs:27
  pumpkin_core::constraints::ConstraintPoster::implied_by in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/constraints/constraint_poster.rs:33
  pumpkin_core::constraints::ConstraintPoster::reify in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/constraints/constraint_poster.rs:44

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

Description:
A publicly-visible method now takes a different number of parameters, not counting the receiver (self) parameter.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#fn-change-arity
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/method_parameter_count_changed.ron

Failed in:
  pumpkin_core::state::State::add_inference_checker takes 2 parameters in /tmp/.tmpoQMQAa/pumpkin-core/src/engine/state.rs:371, but now takes 3 parameters in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/engine/state.rs:393
  pumpkin_core::TestSolver::accept_inferences_by takes 1 parameters in /tmp/.tmpoQMQAa/pumpkin-core/src/engine/cp/test_solver.rs:60, but now takes 2 parameters in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/engine/cp/test_solver.rs:64
  pumpkin_core::conflict_resolving::ConflictAnalysisContext::process_learned_nogood takes 2 parameters in /tmp/.tmpoQMQAa/pumpkin-core/src/conflict_resolving/conflict_analysis_context.rs:268, but now takes 3 parameters in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/conflict_resolving/conflict_analysis_context.rs:283

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

Failed in:
  struct pumpkin_core::propagation::InferenceCheckers, previously in file /tmp/.tmpoQMQAa/pumpkin-core/src/propagation/constructor.rs:56

--- failure struct_pub_field_missing: pub struct's pub field removed or renamed ---

Description:
A publicly-visible struct has at least one public field 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.48.0/src/lints/struct_pub_field_missing.ron

Failed in:
  field should_minimise_nogoods of struct SatisfactionSolverOptions, previously in file /tmp/.tmpoQMQAa/pumpkin-core/src/engine/constraint_satisfaction_solver.rs:156

--- failure trait_added_supertrait: non-sealed trait added new supertraits ---

Description:
A non-sealed trait added one or more supertraits, which breaks downstream implementations of the trait
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#generic-bounds-tighten
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/trait_added_supertrait.ron

Failed in:
  trait pumpkin_core::variables::IntegerVariable gained EventTarget in file /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/engine/variables/integer_variable.rs:17

--- failure trait_method_added: pub trait method added ---

Description:
A non-sealed public trait added a new method without a default implementation, which breaks downstream implementations of the trait
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#trait-new-item-no-default
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/trait_method_added.ron

Failed in:
  trait method pumpkin_core::propagation::ReadDomains::evaluate_predicate_at_trail_position in file /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/propagation/domains.rs:63

--- failure trait_method_missing: pub trait method removed or renamed ---

Description:
A trait method is no longer callable, and may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#trait-item-signature
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/trait_method_missing.ron

Failed in:
  method add_inference_checkers of trait PropagatorConstructor, previously in file /tmp/.tmpoQMQAa/pumpkin-core/src/propagation/constructor.rs:48
  method watch_all of trait IntegerVariable, previously in file /tmp/.tmpoQMQAa/pumpkin-core/src/engine/variables/integer_variable.rs:54

--- failure trait_method_now_returns_unit: pub trait method now returns unit ---

Description:
A trait method that used to return a value now returns `()`.
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/trait_method_now_returns_unit.ron
Failed in:
  pumpkin_core::constraints::Constraint::post in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/constraints/mod.rs:20
  pumpkin_core::constraints::Constraint::implied_by in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/constraints/mod.rs:27
  pumpkin_core::constraints::NegatableConstraint::reify in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/core/src/constraints/mod.rs:73

⚠ pumpkin-conflict-resolvers 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.48.0/src/lints/enum_variant_added.ron

Failed in:
  variant AnalysisMode:CPIP in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/conflict-resolvers/src/resolvers/analysis_mode.rs:33
  variant AnalysisMode:BoundsCPIP in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/conflict-resolvers/src/resolvers/analysis_mode.rs:43

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

Description:
A publicly-visible method now takes a different number of parameters, not counting the receiver (self) parameter.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#fn-change-arity
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.48.0/src/lints/method_parameter_count_changed.ron

Failed in:
  pumpkin_conflict_resolvers::resolvers::ResolutionResolver::new takes 2 parameters in /tmp/.tmpoQMQAa/pumpkin-conflict-resolvers/src/resolvers/resolution_resolver.rs:137, but now takes 3 parameters in /tmp/.tmpOniTgs/Pumpkin/pumpkin-crates/conflict-resolvers/src/resolvers/resolution_resolver.rs:145

⚠ pumpkin-propagators breaking changes

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

Failed in:
  struct pumpkin_propagators::arithmetic::IntegerMultiplicationArgs, previously in file /tmp/.tmpoQMQAa/pumpkin-propagators/src/propagators/arithmetic/integer_multiplication.rs:27

---

This PR was generated with release-plz.