-
Notifications
You must be signed in to change notification settings - Fork 23
Pull requests: ConSol-Lab/Pumpkin
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: Extract conflict resolvers and nogood minimisation into a separate crate
#341
opened Jan 13, 2026 by
ImkoMarijnissen
Loading…
1 task done
feat(pumpkin-core): If the
check-propagations flag is enabled, the state will run inference checkers on all propagations immediately
#340
opened Jan 11, 2026 by
maartenflippo
Loading…
3 tasks done
chore: release pumpkin-solver 0.2.3
autorelease: pending
#323
opened Nov 24, 2025 by
maartenflippo
Loading…
chore: release pumpkin-core 0.2.3
autorelease: pending
#318
opened Nov 17, 2025 by
maartenflippo
Loading…
feat: Adjust Cumulative to allow variable durations, resource usages, and capacity
#287
opened Sep 16, 2025 by
ImkoMarijnissen
Loading…
refactor(pumpkin-solver): Use the
fzn-rs package instead of flatzinc
#258
opened Jul 25, 2025 by
maartenflippo
Loading…
2 tasks
ProTip!
Follow long discussions with comments:>50.