Skip to content

feat(plan-selection): experimental MILP search over the sub-expression memo (--search memo-milp) - #915

Merged
zzylol merged 88 commits into
mainfrom
feat/memo-milp-mvp
Oct 23, 2026
Merged

zzylol merged 88 commits into
mainfrom
feat/memo-milp-mvp

Memo MILP: a failed relaxation after the time limit leaves the gap un…

73be8a3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Check PR title
succeeded Oct 23, 2026 in 5s