Implement lazy area weights#2354

Merged

valeriupredoi merged 6 commits intomainfrom

lazy_area_weights

Apr 23, 2024

Commits on Feb 28, 2024

Workaround for lazy area weights
schlunma
committed

Commits on Mar 19, 2024

Merge remote-tracking branch 'origin/main' into lazy_area_weights
schlunma
committed