-
Notifications
You must be signed in to change notification settings - Fork 26
Pull requests: ConSol-Lab/Pumpkin
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
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 tasks done
feat(pumpkin-core): Introduce runtime consistency verification of propagators
#374
opened Feb 27, 2026 by
maartenflippo
Contributor
Loading…
2 of 10 tasks
ProTip!
Updated in the last three days: updated:>2026-04-27.