Enhanced Bin Packing propagator - #224

Merged

zayenz merged 6 commits into

mainfrom

feature/bin-packing-improvements

Jul 11, 2026

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
Add tiered bin-packing propagation levels
Mikael Zayenz Lagerkvist
committed
Make advanced bin-packing propagation the default
Mikael Zayenz Lagerkvist
committed