Skip to content

Move the deduction checker to `pumpkin_checking`

c9d3a74
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(pumpkin-solver): Support checking of derived nogoods during search #373

Move the deduction checker to `pumpkin_checking`
c9d3a74
Select commit
Loading
Failed to load commit list.