feat(pumpkin-solver): Implement consistency checker infrastructure - #449

Draft

maartenflippo wants to merge 33 commits into

mainfrom

feat/consistency-checkers

Commits on May 18, 2026

Started reworking multiplication for consistency checkers.
maartenflippo
committed
2be6e8d

Commits on May 20, 2026

Commits on May 22, 2026

Commits on May 23, 2026

Various cleanup
maartenflippo
committed
893989d

Commits on May 24, 2026

Rename 'ConsistencyChecker' to 'RetentionChecker'
maartenflippo
committed
2d999b7
Explicitly introduce the concept of 'PropagationChecker'
maartenflippo
committed
2bbdd59

Commits on May 26, 2026

refactor: split up maximum propagator
ImkoMarijnissen
committed
12e8f2b
feat: adding consistency checker for maximum
ImkoMarijnissen
committed
5dbb7e1
feat: adding weak consistency checker
ImkoMarijnissen
committed
d220a64
feat: adding consistency checker for time-tabling
ImkoMarijnissen
committed
11713ff
chore: add proper error logging to weak retention checker
ImkoMarijnissen
committed
ca935d0
fix: test cases
ImkoMarijnissen
committed
4d22b09

Commits on May 27, 2026

Squashed commit of the following:
maartenflippo
committed
c676757

Commits on May 28, 2026

refactor: simplify disjunctive propagation checker
ImkoMarijnissen
committed
f2169ee
feat: add consistency checker for disjunctive
ImkoMarijnissen
committed
a5b2548
chore: add back commented out lines
ImkoMarijnissen
committed
2d8f33b

Commits on Sep 18, 2026

merging main, step 1
EmirDe
committed
86c42a2
main merged
EmirDe
committed
0d57a2f
refactored retention checking, part 1
EmirDe
committed
2348e1a
added retention checkers for the linear propagators
EmirDe
committed
c2a3d02
added a retention checker for the maximum propagator
EmirDe
committed
94c2137
added a retention checker for the binary equals propagator
EmirDe
committed
361f80a
added a retention checker for extended nogood propagation
EmirDe
committed
f017f69
added a retention checker for the absolute value propagator
EmirDe
committed
8a3eb99
added a retention checker for the binary not-equals propagator
EmirDe
committed
27d880d
added comments to retention checkers
EmirDe
committed
9b646e5