Skip to content

Adopt GH-146 Stern finder as default (both engines); tier5 stems get verified upper bounds - #149

Merged
guluchen merged 6 commits into
mainfrom
adopt/gh146-stern-and-ub-stems
Oct 23, 2026
Merged

Adopt GH-146 Stern finder as default (both engines); tier5 stems get verified upper bounds#149
guluchen merged 6 commits into
mainfrom
adopt/gh146-stern-and-ub-stems

data: tier5 stems ge{lb} -> {lb}to{ub} with GH-146 verified upper bou…

d699180
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar