Repository navigation

Add bounded ILP variants and composable overhead predictions - #1180

Closed

isPANN wants to merge 6 commits into

fix/exact-reduction-parametersfrom

fix/bounded-ilp-variants

Commits on Sep 27, 2026
- Add explicit bounded integer ILP variants and migrate reduction rules
  isPANN
  committed
  e55ea91
- Update paper example selectors for ILP bounds variants
  isPANN
  committed
  393ae03
Commits on Sep 28, 2026
Commits on Sep 29, 2026
- Merge corrected reduction parameter contracts from parent branch
  isPANN
  committed
  05fed6f