Skip to content

fix(pumpkin-solver): When no search is specified, do not search over objective first - #628

Open
ImkoMarijnissen wants to merge 1 commit into
mainfrom
fix/no-search-annotation
Open

fix(pumpkin-solver): When no search is specified, do not search over objective first#628
ImkoMarijnissen wants to merge 1 commit into
mainfrom
fix/no-search-annotation

fix: do not search over objective first when the search is unspecified

0f756f8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Documentation
succeeded Oct 22, 2026 in 39s