-
Notifications
You must be signed in to change notification settings - Fork 32
Pull requests: ConSol-Lab/Pumpkin
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore(deps): bump log from 0.4.30 to 0.4.31
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#461
opened Jun 4, 2026 by
dependabot
Bot
Loading…
chore(deps): bump cc from 1.2.62 to 1.2.63
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#460
opened Jun 4, 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!
Type g p on any issue or pull request to go back to the pull request listing page.