-
Notifications
You must be signed in to change notification settings - Fork 29
Pull requests: ConSol-Lab/Pumpkin
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore(deps): bump pygments from 2.19.2 to 2.20.0 in /pumpkin-solver-py
dependencies
Pull requests that update a dependency file
python:uv
Pull requests that update python:uv code
#443
opened May 11, 2026 by
dependabot
Bot
Loading…
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
feat(pumpkin-core): Introduce runtime consistency verification of propagators
#374
opened Feb 27, 2026 by
maartenflippo
Contributor
Loading…
2 of 10 tasks
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.