Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore: release pumpkin-solver 0.2.0 #112

Closed
wants to merge 2 commits into from
Closed

chore: release pumpkin-solver 0.2.0 #112

wants to merge 2 commits into from

Conversation

maartenflippo
Copy link
Contributor

🤖 I have created a release beep boop

0.2.0 (2024-11-07)

⚠ BREAKING CHANGES

  • introduce inference-nogoods in drcp-format (#98)

Features

  • adding synchronisation for the cumulative constraint (#86) (5ef9d56)
  • allow logging of statistics to arbitrary writers (#73) (136e03a)
  • implement consistency check interface in linear less than propagator (#87) (089a083)
  • incremental backtracking for the cumulative constraint (#60) (571f99f)
  • introduce inference-nogoods in drcp-format (#98) (e5ae6c2)

Bug Fixes

  • complete proof when propagator initialization identifies root-level conflict (#80) (2ecfe4d)
  • cumulative holes in domain incorrectly used cached profile (#109) (4c86a8b)
  • cumulative sequence generation found less profiles than it should + fixing issues with debug propagation (#110) (f17222d)
  • do not print intermediate solution when flag is not set + solution callback for satisfaction problems (#77) (e853d05)
  • ensure drcp-format version is the published one (#101) (2f6df0c)
  • float stat into one line (#83) (d0c459d)
  • issue with time-point ending up between profiles for pointwise sequence explanation (#78) (2fcb011)
  • take ownership of the propagation context in propagators (#85) (13f44a0)
  • use propagate for "<=" constraint + using solution reference from solution rather than solver (#108) (668bd0d)
  • wrong profile found for over-interval conflict explanation (#111) (4ba1d50)

This PR was generated with Release Please. See documentation.

@maartenflippo
chore: release pumpkin-solver 0.2.0 (#106)
48f980a 
🤖 I have created a release *beep* *boop*
---


##
[0.1.4](pumpkin-solver-v0.1.3...pumpkin-solver-v0.1.4)
(2024-11-07)


### Features

* allow logging of statistics to arbitrary writers
([#73](#73))
([136e03a](136e03a))
* introduce inference-nogoods in drcp-format
([#98](#98))
([e5ae6c2](e5ae6c2))
* update to drcp-format v0.2.0
([#101](#101))
([2f6df0c](2f6df0c))

### Bug Fixes

* cumulative holes in domain incorrectly used cached profile
([#109](#109))
([4c86a8b](4c86a8b))
* cumulative sequence generation found less profiles than it should +
fixing issues with debug propagation
([#110](#110))
([f17222d](f17222d))
* use propagate for "&lt;=" constraint + using solution reference from
solution rather than solver
([#108](#108))
([668bd0d](668bd0d))
* wrong profile found for over-interval conflict explanation
([#111](#111))
([4ba1d50](4ba1d50))

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
@maartenflippo
chore: release pumpkin-solver 0.2.0
37edcd3
@maartenflippo maartenflippo deleted the release-please--branches--main--components--pumpkin-solver branch November 7, 2024 14:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
autorelease: pending
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@maartenflippo