Tags: dprin/Pumpkin
Tags
chore: release pumpkin-solver 0.2.0 (ConSol-Lab#168) 🤖 I have created a release *beep* *boop* --- ## [0.2.0](ConSol-Lab/Pumpkin@pumpkin-solver-v0.1.4...pumpkin-solver-v0.2.0) (2025-04-11) ### Features * Add logging for branchers ([ConSol-Lab#135](ConSol-Lab#135)) ([d8814f1](ConSol-Lab@d8814f1)) * Add method for retrieving relevant brancher events ([ConSol-Lab#138](ConSol-Lab#138)) ([8253580](ConSol-Lab@8253580)) * Adding lower-bounding search to the solver ([ConSol-Lab#132](ConSol-Lab#132)) ([57bde78](ConSol-Lab@57bde78)) * Adding random variable selector + sparse_set fixes ([ConSol-Lab#139](ConSol-Lab#139)) ([1c4b85f](ConSol-Lab@1c4b85f)) * Debug clone does not synchronise at level 0 + random splitter edge cases ([ConSol-Lab#146](ConSol-Lab#146)) ([bba1abb](ConSol-Lab@bba1abb)) * Enable proof logging in appropriate test cases ([ConSol-Lab#154](ConSol-Lab#154)) ([914f1bc](ConSol-Lab@914f1bc)) * Expose the optimisation API in the python wrapper ([ConSol-Lab#148](ConSol-Lab#148)) ([ab9a463](ConSol-Lab@ab9a463)) * Flatzinc parse boolean & negative int arrays as well ([ConSol-Lab#142](ConSol-Lab#142)) ([68aef75](ConSol-Lab@68aef75)) * Improve element propagator ([ConSol-Lab#140](ConSol-Lab#140)) ([b9bcfd3](ConSol-Lab@b9bcfd3)) * Lazy explanation context ([ConSol-Lab#123](ConSol-Lab#123)) ([0781357](ConSol-Lab@0781357)) * No additional variables during constraint construction ([ConSol-Lab#131](ConSol-Lab#131)) ([19dd45b](ConSol-Lab@19dd45b)) * Nemove explicit literals ([ConSol-Lab#115](ConSol-Lab#115)) ([ab74e20](ConSol-Lab@ab74e20)) * Stateful integer ([ConSol-Lab#125](ConSol-Lab#125)) ([eb01ed3](ConSol-Lab@eb01ed3)) ### Bug Fixes * Addressing clippy warnings ([ConSol-Lab#143](ConSol-Lab#143)) ([20c76bb](ConSol-Lab@20c76bb)) * Allow reification of lazy reasons ([ConSol-Lab#152](ConSol-Lab#152)) ([c7418ec](ConSol-Lab@c7418ec)) * Also log the inference that led to an empty domain ([ConSol-Lab#165](ConSol-Lab#165)) ([7799119](ConSol-Lab@7799119)) * Alternating brancher did not call the methods correctly ([ConSol-Lab#128](ConSol-Lab#128)) ([6019d86](ConSol-Lab@6019d86)) * Disjunctive scheduling example had incorrect negation constraint ([ConSol-Lab#114](ConSol-Lab#114)) ([fd007a0](ConSol-Lab@fd007a0)) * Don't debug propagate deleted nogoods ([ConSol-Lab#147](ConSol-Lab#147)) ([e3a6527](ConSol-Lab@e3a6527)) * Explain root-level assignments in the proof log during conflict analysis ([ConSol-Lab#163](ConSol-Lab#163)) ([c877b06](ConSol-Lab@c877b06)) * Fixing erronous conflict check when using incrementality ([ConSol-Lab#137](ConSol-Lab#137)) ([07c253f](ConSol-Lab@07c253f)) * Give reason to root-level propagation in nogood propagator ([ConSol-Lab#124](ConSol-Lab#124)) ([14868d5](ConSol-Lab@14868d5)) * Identify more places where root-level facts need to be logged to the proof ([ConSol-Lab#153](ConSol-Lab#153)) ([3ac5019](ConSol-Lab@3ac5019)) * Issue with integer multiplication + correct path in msc file ([ConSol-Lab#117](ConSol-Lab#117)) ([ce25710](ConSol-Lab@ce25710)) * Post process new domain ([ConSol-Lab#129](ConSol-Lab#129)) ([26a3b46](ConSol-Lab@26a3b46)) * Print statistics at the end of solving process + make pumpkin-solver default bin ([ConSol-Lab#162](ConSol-Lab#162)) ([7d30ac8](ConSol-Lab@7d30ac8)) * Remove paste dependency ([ConSol-Lab#159](ConSol-Lab#159)) ([ea53fed](ConSol-Lab@ea53fed)) * Root level assignments are properly explained in the proof when logging inferences ([ConSol-Lab#158](ConSol-Lab#158)) ([857f84c](ConSol-Lab@857f84c)), closes [ConSol-Lab#118](ConSol-Lab#118) [ConSol-Lab#119](ConSol-Lab#119) [ConSol-Lab#156](ConSol-Lab#156) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please). --------- Co-authored-by: ImkoMarijnissen <imko.marijnissen@gmail.com>
chore: release drcp-format 0.2.1 (ConSol-Lab#167) 🤖 I have created a release *beep* *boop* --- ## [0.2.1](ConSol-Lab/Pumpkin@drcp-format-v0.2.0...drcp-format-v0.2.1) (2025-04-11) ### Bug Fixes * an empty nogood with hints can now be parsed. ([e4cb2cc](ConSol-Lab@e4cb2cc)) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).
chore: release pumpkin-solver 0.1.4 (ConSol-Lab#106) 🤖 I have created a release *beep* *boop* --- ## [0.1.4](ConSol-Lab/Pumpkin@pumpkin-solver-v0.1.3...pumpkin-solver-v0.1.4) (2024-11-07) ### Features * allow logging of statistics to arbitrary writers ([ConSol-Lab#73](ConSol-Lab#73)) ([136e03a](ConSol-Lab@136e03a)) * introduce inference-nogoods in drcp-format ([ConSol-Lab#98](ConSol-Lab#98)) ([e5ae6c2](ConSol-Lab@e5ae6c2)) * update to drcp-format v0.2.0 ([ConSol-Lab#101](ConSol-Lab#101)) ([2f6df0c](ConSol-Lab@2f6df0c)) ### Bug Fixes * cumulative holes in domain incorrectly used cached profile ([ConSol-Lab#109](ConSol-Lab#109)) ([4c86a8b](ConSol-Lab@4c86a8b)) * cumulative sequence generation found less profiles than it should + fixing issues with debug propagation ([ConSol-Lab#110](ConSol-Lab#110)) ([f17222d](ConSol-Lab@f17222d)) * use propagate for "<=" constraint + using solution reference from solution rather than solver ([ConSol-Lab#108](ConSol-Lab#108)) ([668bd0d](ConSol-Lab@668bd0d)) * wrong profile found for over-interval conflict explanation ([ConSol-Lab#111](ConSol-Lab#111)) ([4ba1d50](ConSol-Lab@4ba1d50)) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).
chore: release drcp-format 0.2.0 (ConSol-Lab#105) 🤖 I have created a release *beep* *boop* --- ## [0.2.0](ConSol-Lab/Pumpkin@drcp-format-v0.1.0...drcp-format-v0.2.0) (2024-11-05) ### ⚠ BREAKING CHANGES * introduce inference-nogoods in drcp-format ([ConSol-Lab#98](ConSol-Lab#98)) ### Features * introduce inference-nogoods in drcp-format ([ConSol-Lab#98](ConSol-Lab#98)) ([e5ae6c2](ConSol-Lab@e5ae6c2)) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).
chore: ignore dev-dependencies when publishing using cargo-hack
release: pumpkin-solver-v0.1.2 (ConSol-Lab#88)