Skip to content

refactor(pumpkin-solver): Force checkers to be registered in propagator constructor#457

Open
maartenflippo wants to merge 12 commits into
mainfrom
refactor/inference-checker-registration
Open

refactor(pumpkin-solver): Force checkers to be registered in propagator constructor#457
maartenflippo wants to merge 12 commits into
mainfrom
refactor/inference-checker-registration

Fix formatting

aafb97c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Dependency Licensing
succeeded May 28, 2026 in 35s