Skip to content

Conversation

@maartenflippo
Copy link
Contributor

We want users to have the ability to implement propagators without having to clone pumpkin-core. This patch makes seemingly huge changes to make the propagation module publicly accessible.

@maartenflippo
Copy link
Contributor Author

The easiest way to start reviewing this is by generating the documentation for this branch. Behaviorally this PR does not change anything.

@maartenflippo maartenflippo force-pushed the feat/make-propagator-api-public branch from 5b39187 to 59303f8 Compare December 12, 2025 15:49
@ImkoMarijnissen ImkoMarijnissen merged commit babbdd9 into main Dec 15, 2025
8 checks passed
@ImkoMarijnissen ImkoMarijnissen deleted the feat/make-propagator-api-public branch December 15, 2025 13:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants