Skip to content

do not compute inferences in recursive minimiser if unnecessary

7464fbe
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat(pumpkin-solver): Check derived nogoods during search #373

do not compute inferences in recursive minimiser if unnecessary
7464fbe
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Dependency Licensing
succeeded Mar 30, 2026 in 41s