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

Allow Temporary Removal of Propagator #15

Open
ImkoMarijnissen opened this issue Jul 25, 2024 · 2 comments
Open

Allow Temporary Removal of Propagator #15

ImkoMarijnissen opened this issue Jul 25, 2024 · 2 comments
Labels
enhancement New feature or request
Milestone
Version 0.2

Comments

@ImkoMarijnissen
Copy link
Contributor

Currently, the propagator itself needs to detect when it is satisfied and not enqueue if this is the case; it would be better if we could specify that a propagator is turned "off" after a certain decision level and that it only gets removed once we backtrack past that decision level.
@ImkoMarijnissen ImkoMarijnissen added the enhancement New feature or request label Jul 25, 2024
@maartenflippo maartenflippo added this to the Version 0.2 milestone Jul 25, 2024
@maartenflippo
Copy link
Contributor

This is indeed a good feature to have. I have added it to the 0.2 milestone!

@maartenflippo
Copy link
Contributor

Also a note on the implementation: This can be done by using a stateful sparse set.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
Version 0.2
Development

No branches or pull requests
2 participants
@maartenflippo @ImkoMarijnissen