Enhanced Bin Packing propagator - #223

Closed

zayenz wants to merge 4 commits into

mainfrom

codex/rebase-pr-202

Commits on Jul 11, 2026

Add capacity method to DynamicArray

95A31
authored and
Mikael Zayenz Lagerkvist
committed
Add DFFs based lower bounds

95A31
authored and
Mikael Zayenz Lagerkvist
committed
Integrate bin-packing DFF propagation
Mikael Zayenz Lagerkvist
committed
Avoid overflow in bin-packing DFF bounds
Mikael Zayenz Lagerkvist
committed