chore: release

[maartenflippo]

🤖 New release

• drcp-format: 0.3.0 -> 0.3.1
• fzn-rs-derive: 0.1.0
• fzn-rs: 0.1.0
• pumpkin-checking: 0.2.2
• pumpkin-core: 0.2.2 -> 0.2.3
• pumpkin-conflict-resolvers: 0.2.2
• pumpkin-propagators: 0.2.2
• pumpkin-constraints: 0.2.2
• pumpkin-solver: 0.2.2 -> 0.2.3
• pumpkin-checker: 0.1.0

Changelog

drcp-format

0.3.1 - 2026-02-10

Other

• Update rust edition to 2024 (#311)
• (drcp-format) Update README
• (drcp-format) Improve parser speed (#293)

fzn-rs-derive

0.1.0 - 2026-02-10

Added

• Introducing fzn-rs, a better FlatZinc parser that is easier to re-use across projects (#238)

fzn-rs

0.1.0 - 2026-02-10

Added

• Introducing fzn-rs, a better FlatZinc parser that is easier to re-use across projects (#238)

pumpkin-checking

0.2.2 - 2026-02-10

Added

• (pumpkin-core) Propagator for the hypercube linear constraint (#347)
• (pumpkin-core) If the check-propagations flag is enabled, the state will run inference checkers on all propagations immediately (#340)

Other

• (pumpkin-checker) Add test cases for verifiers (#352)

pumpkin-core

0.2.3 - 2026-02-10

Added

• (pumpkin-core) Propagator for the hypercube linear constraint (#347)
• Extract conflict resolvers and nogood minimisation into a separate crate (#341)
• (pumpkin-core) If the check-propagations flag is enabled, the state will run inference checkers on all propagations immediately (#340)
• (pumpkin-solver-py) Support warm starting for optimisation models (#344)
• (pumpkin-solver-py) Add incrementality to python interface (#315)
• Extract propagators into separate crate (#337)
• (pumpkin-core) Crash if a propagator constructor does not register anything (#338)
• (pumpkin-core) Make propagator API public (#333)
• Add interface for nogood minimiser (#326)
• Implement State API (#319)
• (pumpkin-core) WebAssembly support for pumpkin-core (#327)

Fixed

• (pumpkin-solver-py) Forward brancher events in PythonBrancher (#358)
• (pumpkin-core) Do not check for event registration when already panicking (#346)
• Sign error in greater_than constraint (#334)
• Generate constraint tags via State (#335)
• (pumpkin-core) Allow propagators to register for predicates becoming true (#331)
• Off-by-one error when explaining empty domain conflict (#322)
• (pumpkin-core) Don't use binary equality when logging proof (#320)
• (pumpkin-core) Declare solving after conflict resolution (#317)

Other

• (pumpkin-checker) Add test cases for verifiers (#352)
• Stop watching predicates without any watchers in nogood propagator (#351)
• Simplify predicate notification system (#348)
• InferenceCode wraps constraint tag and inference label directory (#339)
• (pumpkin-core) Explicitly register predicates in NogoodPropagator (#332)
• (pumpkin-solver) Run proof checker on integration tests (#329)
• (pumpkin-core) Use clippy to detect disallowed types (#325)
• (pumpkin-core) Empty domain conflict is a predicate and reason (#314)
• (pumpkin-core) Separate conflict resolvers further from solver (#310)
• Update rust edition to 2024 (#311)

pumpkin-conflict-resolvers

0.2.2 - 2026-02-10

Added

• Extract conflict resolvers and nogood minimisation into a separate crate (#341)

Other

• (pumpkin-checker) Add test cases for verifiers (#352)

pumpkin-propagators

0.2.2 - 2026-02-10

Added

• Calculate minimal profile for explaining time-table conflict (#353)
• (pumpkin-core) Propagator for the hypercube linear constraint (#347)
• Extract conflict resolvers and nogood minimisation into a separate crate (#341)
• (pumpkin-core) If the check-propagations flag is enabled, the state will run inference checkers on all propagations immediately (#340)
• Extract propagators into separate crate (#337)

Fixed

• Use saturating multiplication in integer multiplication propagator (#350)
• Explanation check for Cumulative after full explanation is created (#349)

Other

• InferenceCode wraps constraint tag and inference label directory (#339)

pumpkin-constraints

0.2.2 - 2026-02-10

Added

• Extract conflict resolvers and nogood minimisation into a separate crate (#341)
• Extract propagators into separate crate (#337)

pumpkin-solver

0.2.3 - 2026-02-10

Added

• Extract conflict resolvers and nogood minimisation into a separate crate (#341)
• (pumpkin-core) If the check-propagations flag is enabled, the state will run inference checkers on all propagations immediately (#340)
• (pumpkin-solver-py) Support warm starting for optimisation models (#344)
• Extract propagators into separate crate (#337)

Fixed

• (pumpkin-solver) Stop search when a SIGTERM signal is received (#324)
• Off-by-one error when explaining empty domain conflict (#322)

Other

• (pumpkin-core) Explicitly register predicates in NogoodPropagator (#332)
• (pumpkin-solver) Run proof checker on integration tests (#329)
• Update rust edition to 2024 (#311)
• Adjust versions python interface (#313)

pumpkin-checker

0.1.0 - 2026-02-10

Added

• (pumpkin-core) Propagator for the hypercube linear constraint (#347)
• (pumpkin-core) If the check-propagations flag is enabled, the state will run inference checkers on all propagations immediately (#340)
• (pumpkin-checker) Introduce the uncertified proof checker (#328)

Other

• (pumpkin-checker) Add test cases for verifiers (#352)
• (pumpkin-solver) Run proof checker on integration tests (#329)

---

This PR was generated with release-plz.