refactor(pumpkin-core): Explicitly register predicates in NogoodPropagator#332

Merged

maartenflippo merged 2 commits intomainfrom

fix/remove-nogood-propagator-hardcoded-in-state

Dec 12, 2025

Commits on Dec 12, 2025

refactor(pumpkin-core): Explicitly register predicates in NogoodPropagator
maartenflippo
committed
fix(pumpkin-core): Ignore the biggest SAT instance
maartenflippo
committed