fix(pumpkin-core): Allow propagators to register for predicates becoming true#331
Merged
maartenflippo merged 8 commits intomainfrom Dec 12, 2025
Merged
fix(pumpkin-core): Allow propagators to register for predicates becoming true#331maartenflippo merged 8 commits intomainfrom
maartenflippo merged 8 commits intomainfrom
Commits
Commits on Dec 12, 2025
- committed
- committed
- committed
- committed
- committed