-
Notifications
You must be signed in to change notification settings - Fork 33
Pull requests: ConSol-Lab/Pumpkin
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore(deps): bump actions/cache from 5 to 6
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#477
opened Jun 25, 2026 by
dependabot
Bot
Loading…
refactor(pumpkin-solver): Force checkers to be registered in propagator constructor
#457
opened May 28, 2026 by
maartenflippo
Contributor
Loading…
refactor(pumpkin-solver):
PropagatorConstructor::create now returns event registrations
#456
opened May 27, 2026 by
maartenflippo
Contributor
Loading…
feat: Add a new nogood management scheme, replacing the tiered system
#455
opened May 25, 2026 by
Hubert1913
Loading…
feat: implement extended nogood propagation and CPIP nogood learning
#454
opened May 21, 2026 by
ImkoMarijnissen
Contributor
Loading…
2 tasks done
feat(pumpkin-solver): Implement consistency checker infrastructure
#449
opened May 20, 2026 by
maartenflippo
Contributor
•
Draft
13 of 18 tasks
feat(pumpkin-core): Implement hypercube linear resolution
#408
opened Apr 13, 2026 by
maartenflippo
Contributor
•
Draft
4 tasks done
feat: Semantic Minimisation during Conflict Analysis
#406
opened Mar 31, 2026 by
ImkoMarijnissen
Contributor
•
Draft
2 of 3 tasks
feat: Make Literal wrapper of Predicate
#398
opened Mar 26, 2026 by
ImkoMarijnissen
Contributor
•
Draft
5 of 6 tasks
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.