Skip to content

increase max size

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

Consider objective function integrality when pruning + bug fixes #851

increase max size
3589226
Select commit
Loading
Failed to load commit list.
checks / other-checks
succeeded Feb 12, 2026 in 40s